Carsten Schürmann
Department of Computer Science
Carnegie Mellon University
5000 Forbes Avenue
Pittsburgh, PA 15213-3891
U.S.A.
carsten@cs.cmu.edu
+1.412.268.3069
+1.412.268.5576 (FAX)
|
|
Home |
|
|
Job Search |
|
|
Publications |
|
|
Conferences |
|
|
Projects |
Conferences
I am organizing the Workshop for Automation of Mathematical Proofs by Mathematical induction to be held in conjuction with CADE'00 in Pittsburgh, Pennsylvania.