CADE 21 Program for Tuesday July 17, 2007
Please note that the program is provisional and subject to change
| Time | Title | Place/Speaker |
|---|---|---|
| 9:00-10:00 | Session 1: Invited Talk | Schmidt-Schauss |
| 9:00-10:00 | Games, Automata and Matching | Colin Stirling |
| 10:00-10:30 | Coffee Break | |
| 10:30-12:30 | Session 2: Higher-Order Logic | Chris Benzmueller |
| 10:30-11:00 | Formalization of Continuous Probability Distributions | Osman Hasan, Sofiene Tahar |
| 11:00-11:30 | Compilation as Rewriting in Higher Order Logic | Guodong Li, Konrad Slind |
| 11:30-12:00 | Barendregt’s Variable Convention in Rule Inductions | Christian Urban, Stefan Berghofer, Michael Norrish |
| 12:00-12:30 | Automating elementary number-theoretic proofs using Groebner bases | John Harrison |
| 12:30-14:00 | Lunch Break | |
| 14:00-15:30 | Session 3: Description Logic | Franz Baader |
| 14:00-14:30 | Optimizing Reasoning in Description Logics using Hypertableaux | Boris Motik, Rob Shearer, Ian Horrocks |
| 14:30-15:00 | Conservative extensions in the lightweight description logic EL | Carsten Lutz, Frank Wolter |
| 15:00-15:30 | An Incremental Technique for Automata-based Decision Procedures | Gulay Unel, David Toman |
| 15:30-16:00 | Coffee Break | |
| 16:00-17:00 | Session 4: Intuitionistic Logic | Frank Pfenning |
| 16:00-16:30 | Bidirectional Decision Procedures for the Intuitionistic Propositional Modal Logic IS4 | Samuli Heilala, Brigitte Pientka |
| 16:30-17:00 | A Labelled System for IPL with Variable Splitting | Roger Antonsen, Arild Waaler |
| 17:00-17:30 | Herbrand Award Ceremony | Franz Baader |
| 17:30-18:30 | CADE Business Meeting | Franz Baader |