| ESCoR | Empirically Successful Computerized Reasoning Seattle, August 21, 2006 |
Program
All sessions will take place in Suite 2828 unless otherwise indicated.
Monday, August 21st
Monday's program is also available with abstracts or side by side with other meetings.
09:00‑10:00 Invited System Paper
Chair:
Geoff Sutcliffe
| 09:00 | Matt Kaufmann
(University of Texas) Maintaining the ACL2 Theorem Proving System [pdf] |
10:00‑10:30 Systems Papers
Chair:
Geoff Sutcliffe
| 10:00 | Virgile Prevosto and Uwe Waldmann
SPASS+T |
10:30‑11:00 Break
11:00‑12:30 Systems Papers
Chair:
Geoff Sutcliffe
12:30‑14:00 Lunch break
14:00‑15:00 Invited Application Paper
Chair:
Renate Schmidt
| 14:00 | Johan Bos
(University of Rome "La Sapienza") Three Stories on Automated Reasoning for Natural Language Understanding [ppt] |
15:00‑15:30 Applications Papers
Chair:
Renate Schmidt
| 15:00 | Michael Wessel
and Ralf Moeller
A Flexible DL-based Architecture for Deductive Information Systems |
15:30‑16:00 Break
16:00‑17:30 Applications Papers
Chair:
Renate Schmidt
| 16:00 | Gerd Beuster, Niklas Henrich and Markus Wagner Real World Verification - Experiences from the Verisoft Email Client |
| 16:30 | Florian Rabe
Towards Determining the Subset Relation between Propositional Modal Logics |
| 16:45 | Gonçalo Lopes
and Luís Moniz Pereira
Prospective Logic Programming with ACORDA |
| 17:00 | Matthias Baaz
, Stefan Hetzl, Alexander Leitsch
, Clemens Richter
and Hendrik Spohr System Description: The Cut-Elimination System CERES |
| 17:15 | Boontawee Suntisrivaraporn
, Franz Baader
and Carsten Lutz
CEL---A Short System Demonstration |
17:30‑18:30 ESP - An Empirically Successful Panel
Chair:
Geoff Sutcliffe
| 17:30 | Matt Kaufmann, Boris Motik, Michael Norrish, Cesare Tinelli My Top Ten Things To Do for more Empirically Successful Computerized Reasoning |
