4th International ABZ 2014 Conference

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

https://www.irit.fr/ABZ2014/


ABZ 2014 Workshops Location
ABZ 2014 Conference Location
Hotels and Accommodation

Please note that the workshops and the main conference are not located in the same place.


ABZ 2014 Workshop Location

ENSEEIHT Engineer school
City Center of Toulouse
2 Rue Charles Camichel
31071 Toulouse

ENSEEIHT is located in the city centre of Toulouse. It is easily accessible by metro at François Verdier station. ENSEEIHT -- ACCESS MAP

  • Access to ENSEEIHT by Public transportation from city centre.
    1- Take Metro Line B to « Jean Jaurès » or « François Verdier » Metro stations. The Toulouse Tisseo Metro Map is available Here (METRO MAP).
    2- Walk to ENSEEIHT following the map ENSEEIHT -- ACCESS MAP


  • Access to ENSEEIHT from Toulouse Blagnac Airport.
    1- Take airport bus shuttle from the airport arrival level to « Compans Cafarelli » stop. Schedule of airport shuttle is available Here Airport Shuttle.
    2- Get into the « Compans Cafarelli » Metro Station on Line B with a Metro ticket. The Airport shuttle ticket is not valid for the metro.
    3- Take Metro Line B to « Jean Jaurès » or « François Verdier » Metro stations. The Toulouse Tisseo Metro Map is available Here (METRO MAP).
    4- Walk to ENSEEIHT following the map ENSEEIHT -- ACCESS MAP

  • Access to ENSEEIHT from Matabiau Toulouse Railway station
    1- At Matabiau Toulouse railway station, walk to the « Marengo SNCF » Metro Station on Line A Direction « Basso Cambo » with a Metro ticket. The Toulouse Tisseo Metro Map is available Here (METRO MAP).
    2- Exit at « Jean Jaurès » Metro station or take Metro Line B to « François Verdier » Metro station. The Toulouse Tisseo Metro Map is available Here (METRO MAP).
    3-Walk to ENSEEIHT following the map ENSEEIHT -- ACCESS MAP

Back


ABZ 2014 Main Conference Location

Complexe Scientifique de Rangueil
Institut Aéronautique et Spacial (IAS)
23 avenue Edouard Belin
31400 Toulouse

  • Access to IAS by Public transportation from city centre.
    1- Take Metro Line B to the terminus station « Ramonville Saint Agne ». The Toulouse Tisseo Metro Map is available Here (METRO MAP).
    2- Exit from the metro.
    3- Take Bus Number 37 direction « Jolimont » and get off the bus at « CNES-IAS » bus station. Schedule of line 37 is available Here (BUS 37).

    The same metro ticket is valid for the correspondence. You do not need to purchase a new ticket.

  • Access to IAS from Toulouse Blagnac Airport.
    1- Take airport bus shuttle from the airport arrival level to « Compans Cafarelli » stop. Schedule of airport shuttle is available Here Airport Shuttle.
    2- Get into the « Compans Cafarelli » Metro Station on Line B with a Metro ticket. The Airport shuttle ticket is not valid for the metro. 3- Take Metro Line B to the terminus station « Ramonville Saint Agne ». The Toulouse Tisseo Metro Map is available Here (METRO MAP).
    4- Exit from the metro.
    5- Take Bus Number 37 direction « Jolimont » and get off the bus at « CNES-IAS » bus station. Schedule of line 37 is available Here (BUS 37).

    The same metro ticket is valid for the correspondence. You do not need to purchase a new ticket.
  • Access to IAS from Matabiau Toulouse Railway station
    1- At Matabiau Toulouse railway station, walk to the « Marengo SNCF » Metro Station on Line A Direction « Basso Cambo » with a Metro ticket. The Toulouse Tisseo Metro Map is available Here (METRO MAP).
    2- At « Jean Jaurès » Metro Station change to line B.
    3- Take Metro Line B to the terminus station « Ramonville Saint Agne ». 4- Exit from the metro.
    5- Take Bus Number 37 direction « Jolimont » and get off the bus at « CNES-IAS » bus station. Schedule of line 37 is available Here (BUS 37).
    The same metro ticket is valid for the correspondence. You do not need to purchase a new ticket.
  • Access to IAS by Car
    1- Once you are on the east part of the ring road (Périphérique) of Toulouse city, take EXIT 20 «  Sortie 20. Complexe Scientifique de Rangueil »

    2- Follow Avenue Edouard Belin until Number 23.


Back


Hotels and Accommodation

The list of hotels

Back

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).