CADE-22

22nd International Conference on Automated Deduction
McGill University, Montreal, Canada
August 2 - 7, 2009

homepage
general info
organizers
invited speakers
accepted papers
overview schedule
conference schedule
social schedule
important dates
registration
ws and tutorials
casc
call for papers
call for workshops
student awards
program committee
submission

site map
poster [pdf]

Workshops, Tutorials, System Competitions, Meetings

There will be a two-day programme of various workshops, tutorials and meetings before the conference. In addition, two system competitions will be held during the conference.

• Workshops:
  • Automated Deduction: Decidability, Complexity, Tractability (ADDCT).
    Organized by Franz Baader (TU Dresden), Silvio Ghilardi (U. Milano), Miki Hermann (École Polytechnique, Palaiseau), Viorica Sofronie-Stokkermans (MPI, Saarbrücken) and Ashish Tiwari (Menlo Park).
    now jointly held with UNIF.
  • CANCELLED Beyond SAT: What About First-Order Logic?
  • Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP)
    James Cheney (University of Edinburgh) and Amy Felty (University of Ottawa).
  • Modules and Libraries for Proof Assistants (MLPA)
    Organized by Florian Rabe (Jacobs University, Bremen) and Carsten Schuermann (IT University of Copenhagen).
  • Proof Search in Type Theories (PSTT)
    Organized by Stéphane Lengrand (CNRS) and Dale Miller (INRIA).
  • Satisfiability Modulo Theories (SMT)
    Organized by Bruno Dutertre (SRI International) and Ofer Strichman (Technion).
  • The International Workshop on Unification (UNIF)
    Organized by Christopher Lynch and Paliath Narendran.
    now jointly held with ADDCT.
  • CANCELLED TPTP World Workshop (TPTPWoWo)
• Tutorials:
  Tutorials are either being held in the morning or in the afternoon, and are scheduled for approximately 3.5h total.
  
  • Tutorial 1 (Aug 2, Sunday morning): Probabilistic Analysis Using a Theorem Prover
    with Osman Hasan and Sofiene Tahar.
  • Tutorial 2 (Aug2, Sunday afternoon):Logics with Undefinedness
    with William M. Farmer.
  • Tutorial 3 (Aug 3, Monday morning): (Challenges and Solutions for) Precise, Automated and Scalable Verification of Systems Software Using SMT solvers
    with Shuvendu K. Lahiri and Shaz Qadeer.
  • Tutorial 4 (Aug 3, Monday afternoon): Hierarchical and Modular Reasoning in Complex Theories
    with Viorica Sofronie-Stokkermans.
• System competitions:
  • The CADE ATP System Competition (CASC)
    Organized by Geoff Sutcliffe.
  • Satisfiability Modulo Theories Competition (SMT-COMP)
    Organized by Clark Barrett (Computer Science, New York University), Morgan Deters (LSI Department, Technical University of Catalonia), Albert Oliveras (LSI Department, Technical University of Catalonia), Aaron Stump (Computer Science, The University of Iowa).
• Meetings:
  • The 6th TPTP Tea Party
    Organized by Geoff Sutcliffe.