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