Registration


To go the registration site, please follow this link.

Early registration fees (before July 22nd)


Prices in USD Workshops only Conference Conference & Workshops
Regular 100 350 400
Student 70 200 250

Late registration fees (after July 22nd)


Prices in USD Workshops only Conference Conference & Workshops
Regular 150 400 450
Student 120 250 300

Items included in the above fees


  • "Workshops only" covers all sessions on Sunday August 12 (combined registration for Isabelle and Coq workshops)
  • "Conference" covers all sessions Monday August 13 - Wednesday August 15
  • "Conference & Workshops" covers all sessions Sunday August 12 - Wednesday August 15
  • All registrations include participation in the reception at Prospect House on Sunday August 12th, and lunch and coffee etc. on the relevant days
  • Categories other than "Workshops only" include conference proceedings. The registration process offers the option to enter a preference (LNCS book or USB stick), to be honored as long as supplies last.
  • Categories other than "Workshops only" include participation in the social events on Tuesday August 14th


Dormitory Housing (Scully Hall)


Participants wishing to stay in the student dormitory "Scully Hall" may make an appropriate room booking as part of their conference registration. Accommodation is $60 per person per night and includes breakfast at Wilson College. Room details are available on the Accommodation page.


Refund policy


Participants who cancel all or part of their registration for the workshops, conference or dormitory housing will be issued a refund (less a 15% administrative fee) for cancellations received on or before August 1, 2012. Participants who cancel all or part of their registration will be issued a refund (less a 50% administrative fee) for cancellations received after August 1, 2012.