4th International ABZ 2014 Conference

ASM, Alloy, B, TLA, VDM, Z
June 2 - 6 2014
Toulouse - France



Participants have to register to the Conference, and it will give them access to ABZ 2014 conference and workshops.

The Conference fees include coffee breaks, lunches, all social events and the proceedings (main ABZ track and Case study Track).


At least one author for each paper must register before April 15th 2014 at a REGULAR rate (even if he/she is a student), attend the conference, and present the paper.

Accepted papers will be published in the proceedings only if the registration form and payment for at least one of the authors will be received.

Registration fees

Price in Euros ABZ and Case study Tracks
(4-6 June. 2014)
Workshop and tutorial only
(2-3 June. 2014)
Registration type Regular Student Regular and Student
Early (Before APRIL 30th 2014) 500 Euros 400 Euros 100 Euros
Late (After MAY 1st 2014) 580 Euros 480 Euros 120 Euros
Additional ticket for cocktail and Conference Dinner for
accompanying persons
80 Euros Please mention in the comment part of the registration form if you are attending the Tutorial on June 3rd. Please mention in the comment part of the registration form if you are attending the Tutorial on June 3rd.

All these rates are tax included. Early registration by April 30, 2014, late registration from May 1st, 2014.

Registration Fees include

- One copy of the proceedings (both ABZ and Case study tracks)
- Coffee breaks,
- Lunches,
- Social events (Welcome reception, Admission to the banquet and Airbus visit)

Payment and cancellation policy

- Credit card: online secured payment
- Order form: (only for French companies) : send a copy of your order form by fax to +33 (0)5 34 32 31 13
- Bank check: (only for French companies) to the order of "Mme. l'Agent Comptable de l'INPT - SAIC - ABZ2014 " sent to INP - SAIC "ABZ 2014" - 6, Allée Emile Monso BP 34038 - 31029 Toulouse Cedex 4 - France
- Bank transfer: send a copy of your bank transfer by fax to +33 (0)5 34 32 31 13

Payment by check or bank transfer are not allowed after the 7th May 2014.

If you need an invoice, please send us the customer form here attached by Mail to abz2014@inp-toulouse.fr

Cancellation policy
Cancellation must be made in writing by mail to abz2014@inp-toulouse.fr

For any cancellation received before the 7th May, 2014, registration fees should be reimbursed except 50 euros for handling fees.

No reimbursement will be made for cancellation received after the 7th may 2014.

All types of registration are subject to the same conditions.

Bank Information
University: Institut National Polytechnique de Toulouse (INPT)
SIRET: 19311381800127
Code NAF (APE): 8542 Z "Enseignement Supérieur"
VAT number: FR42193113818

RIB or Bank account information
Account name: « INPT - Agent comptable -ABZ»
Bank address: Trésorerie Générale - Place Occitane - 31029 Toulouse Cedex France
Phone: +33 (0)5 61 26 55 35
Bank code: 10071 - Code Guichet: 31000
Account number: 10071 / 31000 / 00001001328
Key: 85
IBAN: FR76 / 1007 /1310 / 0000 / 0010 0132 885

For completing your registration, please goto the webpage

Conference Chairs
- Yamine AIT AMEUR, INPT-ENSEEIHT and IRIT, Toulouse,France
- Klaus-Dieter SCHEWE, University of Linz and SCCH, Linz, Austria

For questions concerning ABZ 2014, contact Yamine AIT AMEUR (yamine@n7.fr) or Klaus-Dieter SCHEWE (Klaus-Dieter.schewe@scch.at).