A0.06

Main lecture hall. All scientific sessions of the main conference will be in this room.

Session 2 (Jul 28 08:45-09:00) Welcome
Session 3 (Jul 28 09:00-10:00) CADE Invited Talk
Session 4 (Jul 28 10:00-10:30) SMT I
Session 5 (Jul 28 11:00-12:30) SMT II
Session 6 (Jul 28 14:00-15:30) SMT III
Session 7 (Jul 28 16:00-18:00) Rewriting
Session 8 (Jul 29 09:00-10:00) CADE Invited Talk
Session 9 (Jul 29 10:00-10:30) Short Talks
Session 10 (Jul 29 11:00-12:30) Formalizations in Isabelle/HOL
Session 11 (Jul 29 14:00-15:30) Calculi
Session 12 (Jul 29 16:00-17:00) Machine Learning for Automated Deduction
Session 13 (Jul 29 17:00-18:30) Awards
Session 14A (Jul 30 09:00-10:30) Model Checking and Quantifier Elimination
Session 15 (Jul 30 11:00-12:30) Saturation
Session 16 (Jul 31 09:00-10:00) CADE Invited Talk
Session 17 (Jul 31 10:00-10:30) Paramodulation
Session 18 (Jul 31 11:00-12:30) Equational Reasoning
Session 19 (Jul 31 14:00-15:30) Non-Classical Logics
Session 20 (Jul 31 16:00-17:00) SAT
Session 21 (Jul 31 17:00-18:00) Business Meeting