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

a service of Schloss Dagstuhl - Leibniz Center for Informatics