5. FroCoS 2005: Vienna, Austria

Logics, Theories, and Decision Procedures I

Interface Formalisms

Logics, Theories, and Decision Procedures II

Constraint Solving and Programming

Logical Problem Analysis and Encoding I

Combination Issues in Rewriting and Programming

Compositional System Design and Refinement

Logical Problem Analysis and Encoding II

Theorem Proving Frameworks and Systems

maintained by Schloss Dagstuhl LZI at University of Trier