4. IJCAR (CADE, FroCoS, TABLEAUX, FTP) 2008: Sydney, NSW, Australia

Invited Talk

Specific Theories

Automated Verification

Protocol Verification

System Descriptions 1

Invited Talk

Modal Logics

Description Logics

System Descriptions 2

Invited Talk

Equational Theories

Invited Talk

Theorem Proving 1

CASC

Theorem Proving 2

Logical Frameworks

Tree Automata