Back to ABZ2010 website
ABZ 2010 & Workshop TBFM - Registration Form
Blue fields are required.
You can pay by credit card using VISA and MASTERCARD.
Family Name
:
Initials
:
First Name
:
Title (e.g. 'Prof.')
:
Gender
:
Male |
Female
Company / Institute
:
Job Title
:
Department
:
Address Line 1
:
Address Line 2
:
Postal Code / Zip
:
City
:
State / Province
:
Country
:
Phone
:
(please use '+' followed by your country code)
Email
:
Remarks and dietary restrictions
:
Please select your registration
ABZ2010 Conference (22-25 February 2010 ) :
675 CAD
Workshop / Tutorials, lunches and conference dinner included.
Choose the event you wish to attend on Monday Feb. 22
nd
Workshop : Tool Building in Formal Methods
Tutorial : BART (B Automatic Refinement Tool)
Tutorial : An Advanced Introduction to Alloy
Workshop only (22 February 2010) :
135 CAD
Tool Building in Formal Methods Workshop only.
For tax calculation purposes, please indicate your country/province of residence
Québec
Canada excluding Québec
Other country
Your registration fee :
0
CAD
(Taxes included).