4ème Conférence Internationale ABZ 2014 - ASM, Alloy, B, TLA, VDM, Z - June 2 - 6 2014 Toulouse - France

4ème Conférence Internationale- ABZ 2014 - ASM, Alloy, B, TLA, VDM, Z - June 2 - 6 2014 - Toulouse - France http://www.irit.fr/ABZ2014/

Après Londres, Orford et Pise, la 4ème édition de la conférence ABZ se tiendra à Toulouse du 2 au 6 juin 2014

Cette conférence a pour objectif de réunir les communautés travaillant autour de la définition et de l'utilisation de méthodes, techniques et outils intégrant des approches de modélisation formelles et de développements formels fondées sur la preuve et le raffinement.

Des articles traitant de la mise en œuvre des techniques Alloy, ASM, B, TLA, VDM, Z, ou toute autre approche intégrant des techniques de preuve et d'autres techniques formelles sont sollicités.

Pour cette 4ème édition de ABZ, le comité de pilotage a intégré la technique formelle TLA et à cette occasion Leslie Lamport sera un des conférenciers invités de la conférence.

Un appel au traitement d'une étude de cas, issue du secteur aéronautique, a été lancé. Une ou plusieurs sessions sera/seront dédiée(s) à la présentation des réponses à cet appel.

Les éditeurs des revues "science of computer programming" (SCP) et "international journal of software tools and technology transfer" (STTT) ont accepté de publier les meilleurs articles sélectionnés pour cette édition de ABZ et pour les traitements de l'étude de cas.

Enfin, la proposition de tutoriels et/ou de workshop est également prévue.

Plus de détails sur cet évènement se trouvent sur le site web de la conférence.

www.irit.fr/ABZ2014