Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] CADE-22 - Second Call for Participation

Email Gateway (Aug 18 2022 at 13:38):

From: Carsten Schuermann <carsten@itu.dk>
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!

Last updated: May 03 2024 at 12:27 UTC