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 was the Yale colloquium coordinator. Please visit the Colloquium homepage.

Conferences

    AISC 2006
    CADE-20
    Disproving I
    Disproving II
    Disproving III
    ESCAR '04
    ESHOL-05
    IMLA '05
    IJCAR 2006
    LPAR 12
    PLPV 06
    PPDP 2005
    TFP '06
    TLDI '05

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 on Meta-Logical Frameworks. Click here for the slides.

Summer 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.