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