SECOND 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/ PLEASE REGISTER NOW! The deadline for affordable hotel-style university accommodation is this week Thursday and the early registration deadline is coming Monday. IMPORTANT DEADLINES: - Hotel-style University 25 June 2009 (3 days from now) accommodation - Early Registration 30 June 2009 (8 days from now) CADE is the major forum for the presentation of research in all aspects of automated deduction. 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 exciting, 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 open at: http://complogic.cs.mcgill.ca/cade22/ The early registration deadline is 30 June 2009. ACCOMMODATION: It is possible to reserve affordable single or shared rooms in McGill's New Residence building, which is a hotel-style university accommodation close to the conference venue and down-town Montreal. Bookings can be made using the on-line registration page. For this the deadline is Thursday, 25 June 2009. Note that this is earlier than the early registration deadline. FURTHER INFORMATION: Please refer to the conference website for further information on registration, accommodation, travel and the conference. 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! ------------------------------------------------------------------------------ _______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
