Room 33
Sessions
- Session 11 (Jul 03 09:00-10:00) CADE-FSCD Joint Invited Talk
- Session 12 (Jul 03 10:30-12:30) Satisfiability Modulo Theories
- Session 13 (Jul 03 14:00-15:30) Non-Classical Logics
- Session 15 (Jul 04 10:30-12:00) Superposition
- Session 16 (Jul 04 12:00-12:10) Closing Remarks