Carsten Schürmann
Department of Computer Science
Yale University
51 Prospect St.
New Haven, CT 06520-8285
U.S.A.
carsten@cs.yale.edu
+1.203.432.2349
+1.203.432.0593 (FAX)
|
|
Home |
|
|
Publications |
|
|
Organization |
|
|
Projects |
|
|
Teaching |
Organization
Yale
I am the colloquium coordinator. Please visit the Colloquium homepage.Conferences
Member of the Programme Committee. AAAI 2002., Edmonton, Alberta, Canada.
Member of the Programme Committee. IMLA 2002, Copenhagen, Denmark.
I am the workshop chair for PLI 2002, Pittsburgh, PA, USA, a joint conference of ICFP 2002 and PPDP 2002. This conference is sponsored by the ACM, and so are the workshops. For more information visit the PLI 2002 workshop homepage.
Member of the Programme Committee. CADE 2002, Copenhagen, Denmark.
Organized Workshop for Automation of Proofs by Mathematical induction, held in conjuction with CADE'00 in Pittsburgh, Pennsylvania.
Tutorials
At CADE-17, I have given a tutorial onSummer Schools
I will give a series of lectures on logical frameworks at the EEF summer school next year. The exact dates are June 25-July 6, 2001. More information about the summer school is available at http://www.brics.dk/~kohlenb/eef.html.Others
I am maintaining a list of challenging problems for inductive theorem provers.I am also maintaining the linear logic bibliography, started at CMU by Frank Pfenning, Iliano Cervesato, and myself.