Accepted Papers

Florian Rabe
Towards Determining the Subset Relation between Propositional Modal Logics

Jia Meng, Lawrence Paulson
Translating Higher-Order Problems to First-Order Clauses

Matthias Baaz, Stefan Hetzl, Alexander Leitsch, Clemens Richter, and Hendrik Spohr
System Description: The Cut-Elimination System CERES

Boontawee Suntisrivaraporn, Franz Baader, and Carsten Lutz
CEL---A Short System Demonstration

Virgile Prevosto, Uwe Waldmann
SPASS+T

Gerd Beuster, Niklas Henrich, and Markus Wagner
Real World Verification - Experiences from the Verisoft Email Client

Jia Meng, Lawrence Paulson
Lightweight Relevance Filtering for Machine-Generated Resolution

Gonçalo Lopes, Luís Moniz Pereira
Prospective Logic Programming with ACORDA

Michael Wessel, Ralf Moeller
A Flexible DL-based Architecture for Deductive Information Systems

Petr Pudlak
Search for faster and shorter proofs using machine generated lemmas