[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] CADE-22 - Call for Participation



		     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!