18. CADE 2002: Copenhagen, Denmark

Description Logics and Semantic Web

Proof-Carrying Code and Compiler Verification

Non-classical Logics

System Descriptions

SAT

Model Generation

CASC

CADE-CAV Invited Talk

Combination of Decision Procedures

Logical Frameworks

Model Checking

Equational Reasoning

Proof Theory