2. IJCAR / CADE / 13. TABLEAUX / 5. FroCoS / 6. FTP 2004: Cork, County Cork, Ireland


Saturation-Based Theorem Proving

Combination Techniques

Verification and Systems

Reasoning with Finite Structure

Tableaux and Non-classical Logics

Applications and Systems

Computer Mathematics

Interactive Theorem Proving

Combinatorial Reasoning

Higher-Order Reasoning


maintained by Schloss Dagstuhl LZI at University of Trier