ZoomRoom 1

Sessions

Session 2E (Jul 11 08:00-10:00) ThEdu Workshop: ATPs in Geometry
Session 4E (Jul 11 10:30-12:00) ThEdu Workshop: ATPs in Geometry; Isabelle in Education
Session 6E (Jul 11 12:30-14:00) ThEdu Workshop: Automated Deduction Educational Applications
Session 8C (Jul 11 14:30-15:20) ThEdu Workshop: Invited Talk
Session 9 (Jul 11 15:20-16:20) ThEdu Workshop: Automated Deduction Educational Applications
Session 10 (Jul 11 16:20-16:40) ThEdu Workshop: Closing and Bussiness Meeting
Session 12 (Jul 12 08:00-09:00) Invited Talk
Session 13 (Jul 12 09:00-10:00) Theories (A)
Session 14 (Jul 12 10:30-12:30) Logical Foundations
Session 15 (Jul 12 13:00-15:00) Intuition and Induction
Session 16 (Jul 12 15:30-16:00) Topical ZoomRoom Teasers
Session 19 (Jul 13 08:00-10:00) Theory in Practice
Session 21 (Jul 13 10:30-12:30) Inference
Session 22 (Jul 13 13:00-15:00) Implementation
Session 23 (Jul 13 15:30-16:30) Invited Talk
Session 25 (Jul 14 08:00-09:00) Invited Talk
Session 26 (Jul 14 09:00-10:00) Theories (B)
Session 27 (Jul 14 10:30-12:30) Applications in Systems
Session 28 (Jul 14 13:00-16:10) Awards
Session 30 (Jul 15 08:00-10:00) System Descriptions and Competition Reports
Session 31 (Jul 15 10:30-12:00) ATP+AI
Session 32 (Jul 15 12:30-13:30) Invited Talk
Session 33 (Jul 15 14:00-15:00) CADE Business Meeting
Session 35A (Jul 16 08:00-10:00) Theorem Proving: Theory and Practice
Session 37A (Jul 16 10:30-11:30) TPTP World
Session 38 (Jul 16 11:30-12:00) Open Discussion
Session 39A (Jul 16 12:30-14:00) The 10th TPTP Tea Party
Session 41A (Jul 16 14:30-16:00) The 10th TPTP Tea Party