Skip to content. Skip to navigation
McGill Home SOCS Home
Personal tools
You are here: Home Registration 2009 cade form

Conference Home
General
Organizers

CADE'09 REGISTRATION:


Name:
Mailing Address:
Email:
Contact #:
University:
University Location:
Conference: Student Registration $475 CAD
Late Registration $700 CAD (after June 30)
Day 1 Selections: Workshop Day Registration: $75 CAD

Please select which workshops you plan to attend.

       Automated Deduction: Decidability, Complexity, Tractability (ADDCT)
            and the International Workshop on Unification (UNIF)
       Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP)
       Satisfiability Modulo Theories (SMT)* Note: Day 1 of 2-day event

Tutorial Day Registration: $50 CAD

Please select which tutorials you plan to attend.

       Logics with undefinedness
       Probabilistic Analysis Using a Theorem Prover
Day 2 Selections: Workshop Day Registration: $75 CAD

Please select which workshops you plan to attend.

       Modules and Libraries for Proof Assistants (MLPA)
       Satisfiability Modulo Theories (SMT)* Note: Day 2 of 2-day event
       Proof Search in Type Theories (PSTT)

Tutorial Day Registration: $50 CAD

Please select which tutorials you plan to attend.

       Precise, Automated and Scalable Verification of Systems Software Using SMT solvers
       Hierarchical and Modular Reasoning in Complex Theories
System Competition: The CADE ATP System Competition (CASC) $75 CAD *For entrants and associates only*
Dietary Restrictions: Vegetarian
Fish/seafood allergy
None
Dinner: Extra ticket for guest $100 CAD
Excursion: Extra ticket for guest $25 CAD
Squash Competition: I want to participate.
TOTAL:
Method of Payment: Master Card
Visa
Card Number:
Name on Credit Card:
Expiry Date: Month: Year: