CADE-17
Workshops
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 | |
| Schürmann | ||
| 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 | |
| Galmiche | ||
| 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 ]