CADE 21 Workshops

CADE 21 will have seven workshops July 15/16. 2007

July 15

• ADDCT Automated Deduction: Decidability, Complexity, Tractability
• ESARLT Empirically Successful Automated Reasoning in Large Theories
• LFMTP International Workshop on Logical Frameworks and Meta-Languages: theory and practice
• VERIFY 4th International Verification Workshop

July 16

• CVF Fourth International Workshop on Constraints in Formal Verification
• DISPROVING Workshop on Disproving: Non-Theorems, Non-Validity, Non-Provability
• ISABELLE-WS Isabelle Workshop
• VERIFY 4th International Verification Workshop (continued from July 15)