Sala del Chiostro
This room is on the first floor and is adjacent to the cloister.
Sessions
- Session 1 (Jul 01 09:00-10:00) CADE Invited Talk
- Session 2 (Jul 01 10:30-12:30) Higher Order Theorem Proving
- Session 3 (Jul 01 14:00-15:30) Applications
- Session 4 (Jul 01 16:00-18:00) Applications, Rewriting and Termination
- Session 5 (Jul 02 09:00-10:00) Herbrand Award Ceremony and Talk
- Session 6 (Jul 02 10:30-12:30) Proof Theory / Non-Classical Logics
- Session 7 (Jul 02 14:00-15:30) Rewriting
- Session 8 (Jul 02 16:00-17:15) SAT
- Session 9 (Jul 02 17:30-18:30) Awards Ceremony and Business Meeting