Invited talks

- Leslie LAMPORT:
"TLA+ for Non-Dummies"

- Gerhard SCHELLHORN:
"Development of a Verified Flash File System"

- Laurent VOISIN:
"The Rodin Platform has turned ten"

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