5. IJCAR (CADE, FroCoS, TABLEAUX, FTP) 2010: Edinburgh, UK

Logical Frameworks and Combination of Systems

Description Logic I

Higher-Order Logic

Invited Talk

Verification

First-Order Logic

Non-Classical Logic

Induction

Decision Procedures

Keynote Talk

Arithmetic

Invited Talk

Applications

Description Logic II

Termination