|
| 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:
|
