![]() |
![]() |
||||||||||||||||||||||||||||||||||||||||||||
  |
CADE-17
|
|
||
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 ]