Department of Computer Science
51 Prospect St.
New Haven, CT 06520-8285
YaleI was the Yale colloquium coordinator. Please visit the Colloquium homepage.
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.
TutorialsAt CADE-17, I have given a tutorial on
Summer SchoolsI 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.
OthersI 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.