10. FroCos 2015: Wroclaw, Poland

Invited Talk

Description Logics

Theorem Proving and Model Building

Decision Procedures

Decision Procedures for Verification

Rewriting and Constraint Solving

Transformations between Symbolic Systems

Combination Methods

Reasoning in Large Theories

maintained by Schloss Dagstuhl LZI, founded at University of Trier