Compte-rendu de la conférence ABZ - Toulouse - 2014

La 4ème édition de la conférence internationale ABZ s’est tenue à Toulouse du 2 au 6 Juin 2014 dans les locaux de l’ENSEEIHT puis dans le grand amphithéâtre de l’IAS. Cette conférence présente les derniers développement dans le domaine de la preuve et du raffinement de systèmes et de logiciels. Elle fait suite au succès des conférences de Londres (2008), Orford (2010) et Pise (2012).

Cette édition Toulousaine a été marquée par deux évènements majeurs.

En plus de ASM, B, Z, Alloy and VDM,  ABZ'2014 a été marquée par l’introduction de TLA (Temporal Logic of Actions)  comme sixième technique traitée par la communauté ABZ. A cette occasion, Leslie LAMPORT (Microsof, Sillicon Valley, USA) a été invité pour présenter cette méthode l’année ou il a été distingué par le prix Turing (http://amturing.acm.org/)
 
Après l’étude de cas du  « Steam Boiler » définie 20 ans auparavant, le second évènement a été l’introduction d’une nouvelle étude de cas. Le contexte Toulousain nous a incité à proposer une étude de cas issue du secteur aéronautique. Ainsi, Frédéric BONIOL et Virginie WIELS, du centre de l’ONERA à Toulouse, ont proposé l’étude du système d’un train d’atterrissage. Ce fut un succès, et une journée entière a été consacrée à cette étude.

ABZ’2014 a reçu 81 soumissions couvrant la totalité des méthodes formelles abordées par la conférence. Ces soumissions sont à large spectre : fondements, applications, outils, cas d’étude.  Chaque article a été évalué par au moins trois relecteurs. 13 articles longs et 19 articles courts ont été retenus pour être présentés. De plus, 8 articles longs et 3 rticles courts ont été retenus pour le traitement du cas d’étude. Plus de 120 chercheurs inscrits ont participé à la conférence. Près de 30 chercheurs et ingénieurs Toulousains issus du monde industriel ou académique ont pris part à la conférence.

En plus de Leslie Lamport, deux autres conférenciers invités ont présenté leurs travaux. Il s’agit de Gerhard SCHELLHORN (Université de  Augsburg, Allemagne) et de Laurent VOISIN (Systerel, Aix en Provence, France).

Plus d’informations sont disponibles sur http://www.irit.fr/ABZ2014