CALL FOR PARTICIPATION
CADE-22
22nd International Conference on Automated Deduction
McGill University, Montreal, Canada
August 2-7, 2009
http://complogic.cs.mcgill.ca/cade22/
CADE is the major forum for the presentation of research in all
aspects of automated deduction.
IMPORTANT DEADLINES:
- Student awards: 16 June 2009
- Early Registration: 25 June 2009
PROGRAMME: The conference features
- 3 invited talks
- 32 contributed papers of which 5 are system papers
- the presentation of the Herbrand Award to Deepak Kapur
- a two-day programme of workshops, tutorials and meetings
- 2 system competitions
INVITED TALKS:
- Konstantin Korovin (The University of Manchester)
Instantiation-Based Automated Reasoning: From Theory to
Practice
- Martin Rinard (Massachusetts Institute of Technology)
Integrated Reasoning and Proof Choice Point Selection in
the Jahob System - Mechanisms for Program Survival
- Mark Stickel (SRI International)
Building Theorem Provers
WORKSHOPS:
- Automated Deduction: Decidability, Complexity,
Tractability (ADDCT) and
The International Workshop on Unification (UNIF)
- Logical Frameworks and Meta-Languages: Theory and
Practice (LFMTP)
- Modules and Libraries for Proof Assistants (MLPA)
- Proof Search in Type Theories (PSTT)
- Satisfiability Modulo Theories (SMT)
TUTORIALS:
- Hierarchical and Modular Reasoning in Complex Theories
with Viorica Sofronie-Stokkermans
- Probabilistic Analysis Using a Theorem Prover
with Osman Hasan and Sofiene Tahar
- Precise, Automated and Scalable Verification of Systems
Software Using SMT Solvers
with Shuvendu K. Lahiri and Shaz Qadeer
- Logics with Undefinedness
with William M. Farmer
SYSTEM COMPETITIONS:
- The CADE ATP System Competition (CASC)
- Satisfiability Modulo Theories Competition (SMT-COMP)
MEETINGS:
- The 6th TPTP Tea Party
SOCIAL EVENTS:
- Welcome reception at the McCord Museum of Canadian History
- Squash tournament at McGill Sports Centre
- Walking or biking tour excursion through Old Montreal
- Conference banquet at the elegant Pointe-à-Callière,
Montreal's Museum of Archeology and History at the Old Port
MONTREAL: Montreal is an bustling, cosmopolitan and affordable
city with a charming Francophone culture. It is easily
accessible from the US, Europe and world-wide with direct flights
to Pierre Elliott Trudeau Airport (YUL) from all major cities.
REGISTRATION: On-line registration is now open at:
https://www.cs.mcgill.ca/registration/2009/cade/
The early registration deadline is June 25. Please refer to the
conference website for registration, accommodation, travel and
visa information.
STUDENT AWARDS: Travel awards are available to enable selected
students to attend the conference. Please refer to the conference
website for details. The application deadline is June 16.
SPONSORS: CADE-22 is supported by
o The McGill School of Computer Science
o McGill University Faculty of Science
o Microsoft Research
ORGANIZERS:
o PC Chair:
Renate Schmidt (The University of Manchester)
o Conference Chair:
Brigitte Pientka (McGill University)
o Workshop & Tutorial Chair:
Aaron Stump (The University of Iowa)
o Publicity Chair:
Carsten Schürmann (IT-Universitetet i København)
o Local Organizers:
Maja Frydrychowicz (McGill University)
Brigitte Pientka (McGill University)
We look forward to seeing you in Montreal!