CADE-17   Carnegie Mellon University - School of Computer Science


Michael Kohlhase, Workshop Chair

Workshops will be held all day, Friday, June 16, the afternoon of Tuesday, June 20, and the morning of Wednesday, June 21. Workshops will be held in Wean Hall, rather than the University Center. Proceedings, schedules, and other information can be obtained in the 5th floor lobby of Wean Hall.

Breaks and lunch on workshop and tutorials days will be in the 5th floor lobby of Wean Hall (main entrance).

Note that you will register for workshops together with your regular CADE registration. The fee is $50 per workshop, but you may sign up for as many overlapping workshops as you like and pay for only one.

No special invitations are required to attend workshops if you are not interested in presenting material. However, you should notify the organizers in addition to registering as instructed above.

Friday, June 16

W1 Model Computation - Principles, Algorithms, Applications
  Baumgartner, Fermüller, Peltier, Zhang
  Wean Hall 5409 A
W2 Induction Workshop
  Wean Hall 4623
W4 Automated Deduction in Education
  Melis, Scott et al.
  Newell Simon Hall 3002

Tuesday, June 20, afternoon
Wednesday, June 21, morning

W3 Type-Theoretic Languages: Proof Search and Semantics
  Wean Hall 5409 B
W5 Automated Deduction in the Context of Mathematics
  Colton, Martin, Sorge
  Wean Hall 5409 A

[ Home | Program | Workshops | Tutorials | System Competition ]
[ Accommodations | Excursions | Computing Facilities | Athletic Facilities | Restaurants | Travel ]
[ On-Line Registration ]        [ UNIF 2000 ]
Contact Us