Workshops

• July 25-26: CiAD - 2nd International Workshop on Complexity In Automated Deduction
• July 31st - August 1st: PaPS - Problem and Problem Sets for ATP
• July 31st: RADM - The Role of Automated Deduction in Mathematics
• July 25-26: VERIFY - Verification Workshop

Tutorials

• July 25th: T1 - ACL2 tutorial
• July 25th: T2 - Classical Gentzen-type Methods in Propositional Many-Valued Logics
• July 25th: T3 - On Shostak's Approach for Combining Decision Procedures