Workshops, Tutorials and Competitions

Workshops

  • BOOGIE 2011, The First International Workshop on Intermediate Verification Languages.
  • Thedu 11, CTP Components for Educational Software.
  • PSATTT11, International Workshop on Proof Search in Axiomatic Theories and Type Theories.
  • PxTP, First Workshop on Proof eXchange for Theorem Proving.
  • ATE 2011, the first Workshop on Automated Theory Engineering.
  • UNIF, The International Workshop on Unification.

Tutorials

Competitions

  • CASC, the CADE ATP System Competition.

Schedule of Workshops and Tutorials

July 31, Workshops

  • UNIF, the International Workshop on Unification
  • ATE 2011, the first Workshop on Automated Theory Engineering
  • Thedu 11, CTP Components for Educational Software

31 July, Tutorials

  • Morning: Practical Reasoning with Quantified Boolean Formulas
  • Afternoon: Model Checking Modulo Theories: Theory and Practice
  • Afternoon: Practical Computer Formalization of Mathematics Using Mizar

August 1, Workshops

  • PxTP, First Workshop on Proof eXchange for Theorem Proving
  • BOOGIE 2011, the First International Workshop on Intermediate Verification Languages
  • PSATTT 11, International Workshop on Proof Search in Axiomatic Theories and Type Theories

August 1, Tutorials

  • Morning: First-Order Theorem Proving and Vampire
  • Afternoon: Grammatical Framework: A Hands-On Introduction
  • Afternoon: Computational Logic and Human Thinking

August 3, Competitions

  • CASC, the CADE ATP System Competition

One Response to Workshops, Tutorials and Competitions

  1. Pingback: jesse