<html>
<head>
<meta http-equiv="content-type" content="text/html;
charset=ISO-8859-1">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<font size="-1"><font face="Calibri"><font size="-1"><font
face="Calibri"><big><big><b>---------------------------------------------------------------------------------<br>
DEADLINES FOR paper and case study submissions ARE
EXTENDED TO </b></big></big></font></font><big><big><b><br>
</b></big></big> </font></font>
<div align="left"><big><big><b><font size="-1"><big><big><font
face="Calibri">
FEBRUARY 3, 2014</font></big></big></font></b></big></big><br>
</div>
<font size="-1"><font face="Calibri"><font size="-1"><font
face="Calibri"><big><big><b>---------------------------------------------------------------------------------</b></big></big></font></font></font></font><font
size="-1"><font face="Calibri"><br>
<br>
<b><big><big> 4th International ABZ 2014
Conference <br>
ASM, Alloy, B, TLA, VDM, Z
</big></big></b><br>
<br>
<a class="moz-txt-link-freetext"
href="http://www.irit.fr/ABZ2014/">http://www.irit.fr/ABZ2014/</a><br>
<br>
June 2-6, 2014 <br>
Toulouse, France <br>
<br>
Call for Papers<br>
--------------------------------------------- LATEST NEWS
----------------------------------<br>
</font></font>
<div align="center">
<div align="left"><font size="-1"><font face="Calibri"> <big><big><b>
</b></big></big></font></font><br>
</div>
</div>
<font size="-1"><font face="Calibri"> 1 - Deadline is extended to
February 3, 2014 for papers and case study papers. Please note,
this is a<u><b><big> FIRM DEADLINE.</big></b></u> <br>
<br>
2- Workshops are selected and workshop papers are welcome.<br>
<br>
3- Please, do not forget to consider to submit answers to the
case study.<br>
<br>
4- Leslie Lamport is one of the keynote speakers. Other keynote
speakers will be announced.<br>
<br>
------------------------------------------------------------------------------------------------------<br>
<br>
<br>
The ABZ 2014 conference is organized in Toulouse.<br>
The ABZ conference is dedicated to the cross-fertilization of
six related state-based and machine-based formal methods,
Abstract State Machines (ASM), Alloy, B, TLA, VDM and Z, that
share a common conceptual foundation and are widely used in both
academia and industry for the design and analysis of hardware
and software systems. It builds on the success of the first ABZ
conference held in London (<a class="moz-txt-link-freetext"
href="http://www.abz2008.org/">http://www.abz2008.org/</a>) in
2008, where the ASM, B and Z conference series merged into a
single event, the success of the second ABZ 2010 conference held
in Orford (<a class="moz-txt-link-freetext"
href="http://pages.usherbrooke.ca/abzconference/">http://pages.usherbrooke.ca/abzconference/</a>)
(Canada) where the Alloy community joined the event and the
success of ABZ 2012 held in Pisa (/<a
class="moz-txt-link-freetext"
href="http://ifm-abz.isti.cnr.it/index.html">http://ifm-abz.isti.cnr.it/index.html</a>)(Italy)
which saw the inclusion of the VDM community. The novelty of the
4th international event is the inclusion of the TLA community in
the ABZ conference series.<br>
Contributions are solicited on all aspects of the theory and
applications of ASMs, Alloy, B, TLA, VDM, Z approaches in
software/hardware engineering, including the development of
tools and industrial applications and applications to critical
and/or embedded systems. The program spans from theoretical and
methodological foundations to practical applications,
emphasizing system engineering methods and tools that are
distinguished by mathematical rigor and have proved to be
industrially viable. The main goal of the conference is to
contribute to the integration of accurate state- and
machine-based system development methods, clarifying their
commonalities and differences to better understand how to
combine different approaches for accomplishing the various tasks
in modeling, experimental validation, mathematical verification
of reliable high-quality hardware/software systems. <br>
<br>
Although organized to host several formal methods with ASM,
Alloy, B, TLA, VDM and Z, in a single event, editorial control
of the joint conference is vested in one integrated program
committee, which will respectively determine its ASM, Alloy, B,
TLA, VDM and Z content, to be presented in parallel conference
tracks with a schedule to allow the participants to switch
between the sessions. <br>
<br>
The 4th edition of ABZ sees the introduction of a new session
dedicated to a shared real-life case study among all the methods
addressed in ABZ 2014. The objective of this session is to
enrich the set of case studies developed with ABZ methods with a
practical and real-life case study. The aeronautical context of
Toulouse led the organizers to define a real-life case study
issued from this domain. <br>
<br>
Proposals are invited for workshops and tutorials to take place
the day before the main conference. <br>
<br>
Three kinds of contributions are invited: <br>
- Research papers: full papers of not more than 14 pages in
LNCS format, which have to be original, unpublished and not
submitted elsewhere. <br>
- Short presentations of work in progress, and tool
demonstrations. This is an excellent opportunity for Ph.D.
students to present and validate their work in progress. An
extended abstract of not more than 4 pages is expected and will
be reviewed. <br>
- Answers to case study papers: full papers of not more than
14 pages in LNCS format reporting on the experiments conducted
with any of the state based techniques in the scope of ABZ 2014.<br>
- Application in industry papers reporting on work or
experiences on the application of state based formal methods in
industry. An extended abstract of not more than 4 pages is
expected and will be reviewed. It is also an interesting option
for industrial practitioners who sometimes face too many
constraints to prepare a full paper.<br>
<br>
Contributions should be submitted electronically in PDF at the
ABZ 2014 conference Easy-Chair (<a class="moz-txt-link-freetext"
href="https://www.easychair.org/conferences/?conf=abz2014">https://www.easychair.org/conferences/?conf=abz2014</a>)
web site. <br>
<br>
The papers must be prepared using the SPRINGER LNCS style (<a
class="moz-txt-link-freetext"
href="http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0">http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0</a>).
The answers to case study should be submitted electronically in
PDF at the Case study Easy-Chair (<a
class="moz-txt-link-freetext"
href="https://www.easychair.org/conferences/?conf=abz2014">https://www.easychair.org/conferences/?conf=abz2014</a>)
web site. <br>
<br>
All research and short accepted papers will be published in
a volume of Springer's LNCS series. The answers to case study
papers and the application in industry papers will be published
in a volume of Springer's CCIS series. The two volumes will be
distributed at the conference.<br>
<br>
Journal Special Issues: an improved version of a selected
number of contributions will be published in a special issue of
the journal Science of Computer Programming for the research
papers and in a special issue of the Software Tools and
Technology Transfer journal for the answers to case study
papers. <br>
<br>
Case study session <br>
------------------<br>
Submissions for answers to case study are encouraged. For
further details, please contact the case study session chairs.<br>
<br>
Case study session chairs<br>
Frédéric BONIOL, ONERA-DTIM, Toulouse,
France (<a class="moz-txt-link-abbreviated"
href="mailto:frederic.boniol@onera.fr">frederic.boniol@onera.fr</a>)<br>
Virginie Wiels, ONERA-DTIM, Toulouse,
France (<a class="moz-txt-link-abbreviated"
href="mailto:Virginie.Wiels@onera.fr">Virginie.Wiels@onera.fr</a>)<br>
<br>
Selected Workshops (<a class="moz-txt-link-abbreviated"
href="http://www.irit.fr/ABZ2014/workshop.html">www.irit.fr/ABZ2014/workshop.html</a>)<br>
------------------<br>
Five (5) workshops are associated to the main event ABZ.
Information are available on the workshops website link <a
class="moz-txt-link-abbreviated"
href="http://www.irit.fr/ABZ2014/workshop.html">www.irit.fr/ABZ2014/workshop.html</a>.
For further information, contact the workshop organizers.<br>
<br>
1. TLA 2014: Proposal for a TLA+ community event<br>
------------------------------------------------<br>
Workshop organizers: <br>
- Leslie Lamport, Microsoft Research, San Francisco, USA,
<a class="moz-txt-link-abbreviated"
href="mailto:lamport@microsoft.com">lamport@microsoft.com</a><br>
- Stephan Merz, INRIA-Lorraine, Nancy, France,
<a class="moz-txt-link-abbreviated"
href="mailto:stephan.merz@loria.fr">stephan.merz@loria.fr</a><br>
- Philippe Queinnec, INPT-ENSEEIHT/IRIT, Toulouse,
France, <a class="moz-txt-link-abbreviated"
href="mailto:philippe.queinnec@enseeiht.fr">philippe.queinnec@enseeiht.fr</a><br>
<br>
2. Integrated use of Methods and Tools for High-Assurance
Rigorous Systems and Software Development (iHARNESS) <br>
--------------------------------------------------------------------------------------------------------------<br>
Workshop organizers: <br>
- Elvinia Riccobene - University of Milan, Mila,
Italy <a
class="moz-txt-link-abbreviated"
href="mailto:elvinia.riccobene@unimi.it">elvinia.riccobene@unimi.it</a><br>
- Atif Mashkoor - Software Competence Center Hagenberg,
Austria <a class="moz-txt-link-abbreviated"
href="mailto:atif.mashkoor@scch.at">atif.mashkoor@scch.at</a><br>
<br>
Invited Speaker: <br>
Prof. Egon Börger - University of
Pisa, IT <br>
<br>
3. Workshop on Tool Building in Formal Methods (2nd edition)<br>
------------------------------------------------------------<br>
Workshop organizers: <br>
- Angelo Gargantini - University of Bergamo, Bergamo,
Italy <a
class="moz-txt-link-abbreviated"
href="mailto:angelo.gargantini@unibg.it">angelo.gargantini@unibg.it</a><br>
- Paolo Arcaini - University of Bergamo, Bergamo,
Italy, <a
class="moz-txt-link-abbreviated"
href="mailto:paolo.arcaini@unimi.it">paolo.arcaini@unimi.it</a><br>
<br>
4. Rodin User and Developer Workshop at ABZ 2014 (2 days)<br>
---------------------------------------------------------<br>
Workshop organizers: <br>
- Michael Butler, University of Southampton,
UK <a
class="moz-txt-link-abbreviated"
href="mailto:mjb@ecs.soton.ac.uk">mjb@ecs.soton.ac.uk</a><br>
- Stefan Hallerstede, University of Aarhus,
Denmark <a
class="moz-txt-link-abbreviated" href="mailto:sha@iha.dk">sha@iha.dk</a><br>
- Thierry Lecomte, ClearSy, France,
<a
class="moz-txt-link-abbreviated"
href="mailto:thierry.lecomte@clearsy.com">thierry.lecomte@clearsy.com</a><br>
- Michael Leuschel, University of Dusseldorf, Germany
<a
class="moz-txt-link-abbreviated"
href="mailto:leuschel@cs.uni-duesseldorf.de">leuschel@cs.uni-duesseldorf.de</a><br>
- Alexander Romanovsky, University of Newcastle, UK
<a class="moz-txt-link-abbreviated"
href="mailto:Alexander.Romanovsky@newcastle.ac.uk">Alexander.Romanovsky@newcastle.ac.uk</a><br>
- Marina Walden, - Abo Akademi, Finland
<a
class="moz-txt-link-abbreviated"
href="mailto:Marina.Walden@abo.fi">Marina.Walden@abo.fi</a><br>
- Laurent Voisin, Systerel, France,
<a
class="moz-txt-link-abbreviated"
href="mailto:laurent.voisin@systerel.fr">laurent.voisin@systerel.fr</a><br>
<br>
5. 1st International Workshop about Sets and Tools
(SETS)<br>
--------------------------------------------------------------<br>
Workshop organizers: <br>
- David Delahaye, Cnam, Paris, France
<a
class="moz-txt-link-abbreviated"
href="mailto:David.Delahaye@cnam.fr">David.Delahaye@cnam.fr</a><br>
- Catherine Dubois, Ensiie, Evry, France
<a
class="moz-txt-link-abbreviated"
href="mailto:dubois@ensiie.fr">dubois@ensiie.fr</a><br>
<br>
<br>
<br>
<br>
For further information related to workshop organisation, please
contact the workshop chairs.<br>
Lugia Petre, University of Turku, Turku, Finland
(<a
class="moz-txt-link-abbreviated"
href="mailto:Lugia.Petre@abo.fi">Lugia.Petre@abo.fi</a>)<br>
Patrizia Scandurra, University of Bergamo, Italy
(<a
class="moz-txt-link-abbreviated"
href="mailto:patrizia.scandurra@unibg.it">patrizia.scandurra@unibg.it</a>)<br>
Alexander Romanovski, University of Newcastle,
Newcastle, United Kingdom (<a class="moz-txt-link-abbreviated"
href="mailto:alexander.romanovsky@newcastle.ac.uk">alexander.romanovsky@newcastle.ac.uk</a>)<br>
<br>
<br>
Tutorial Proposals <br>
------------------<br>
Tutorial proposal should be sent to the tutorial chairs <br>
Stefan Hallerstede, University of Aarhus, Aarhus,
Denmark (<a class="moz-txt-link-abbreviated"
href="mailto:sha@iha.dk">sha@iha.dk</a>)<br>
Roozbeh Farahbod, SAP research, Karlshrue,
Germany (<a class="moz-txt-link-abbreviated"
href="mailto:roozbeh.farahbod@sap.com">roozbeh.farahbod@sap.com</a>)<br>
<br>
The deadline for submissions is January 30, 2014. Notifications
will be sent by February 28, 2014<br>
<br>
ABZ 2014 Invited Speakers<br>
-------------------------<br>
Leslie LAMPORT, Microsoft Research, USA.<br>
Other invited speakers will be announced.<br>
<br>
Important dates <br>
----------------<br>
<br>
Research/Industry papers and answers to case study FEBRUARY
3, 2014 NEW DATE<br>
Short paper submission:
</font></font><font size="-1"><font
face="Calibri"><font size="-1"><font face="Calibri">FEBRUARY 3,
2014<br>
</font></font> Tutorial proposal
notifications:
Febuary 28, 2014<br>
Papers notification:
March 1, 2014<br>
Final Version due:
March 20, 2014<br>
Main ABZ 2012 conference:
June 2-6, 2014<br>
<br>
<br>
Conference Chairs <br>
-----------------<br>
Yamine AIT AMEUR , INPT-ENSEEIHT and IRIT, Toulouse,France (<a
class="moz-txt-link-abbreviated" href="mailto:yamine@n7.fr">yamine@n7.fr</a>)<br>
Klaus-Dieter SCHEWE, University of Linz and SCCH, Linz, Austria
(<a class="moz-txt-link-abbreviated"
href="mailto:Klaus-Dieter.Schewe@scch.at">Klaus-Dieter.Schewe@scch.at</a>)<br>
<br>
<br>
Program Committee <br>
------------------<br>
- Jean-Raymond Abrial, Marseille, France<br>
- Yamine Ait Ameur, IRIT-ENSEEIHT, Toulouse, France<br>
- Richard Banach, University of Manchester, UK<br>
- Egön Boerger, University of Pisa, Italy<br>
- Eerke Boiten, University of Kent<br>
- Frédéric Boniol, ONERA-DTIM, Toulouse, France<br>
- Michael Butler, Univesrity of Southampton, UK<br>
- Ana Cavalcanti, University of York, UK<br>
- David Deharbe, Federal University of Rio Grande do Norte,
Brazil<br>
- John Derrick, Unversity of Sheffield, UK<br>
- Juergen Dingel, Queen's University, Canada<br>
- Kerstin Eder, University of Bristol, UK<br>
- Roozbeh Farahbod, SAP Research, Karlsruhe, Germany<br>
- Mamoun Filali, IRIT, CNRS, Toulouse, France<br>
- John Fitzgerald, Newcastle University, UK,<br>
- Marc Frappier, University of Sherbrooke, Canada<br>
- Vincenzo Gervasi, University of Pisa, Italy<br>
- Dimitra Giannakopoulou, NASA, Ames, USA<br>
- Uwe Glässer, Simon Fraser University, Canada<br>
- Stefania Gnesi, CNR - Pisa, Italy<br>
- Lindsay Groves, Wellington University, New Zealand<br>
- Stefan Hallerstede, University of Aarhus, Denmark<br>
- Klaus Havelund, Jet Propulsion Laboratory/NASA, USA<br>
- Ian J. Hayes, University of Queensland, Australia<br>
- Rob Hierons, Brunel University, UK<br>
- Thai Son Hoang, ETH Zürich, Switzerland<br>
- Sarfraz Khurshid, University of Texas at Austin, USA<br>
- Regine Laleau, Univesity of Paris-Est, France<br>
- Leslie Lamport, Microsoft Research, USA<br>
- Peter Gorm Larsen, Aarhus School of Engineering, Denmark<br>
- Thierry Lecomte, ClearSy, France<br>
- Michael Leuschel, University of Düsseldorf, Germany<br>
- Zhiming Liu, International institute for software technology,
UNU University, Macao<br>
- Tiziana Margaria, University of Potsdam, Germany<br>
- Atif Mashkoor, SCCH, Linz, Austria<br>
- Dominique Mery, Loria, Université de Lorraine, Nancy, France<br>
- Stephan Merz, LORIA, Nancy, France<br>
- Mohamed Mosbah, Labri, Université de Bordeaux I, Bordeaux,
France<br>
- Cesar Munõz, NASA Langley Research Center, USA<br>
- Uwe Nestmann, Technical University of Berlin, Germany<br>
- Christophe Newcombe, Amazon, USA<br>
- Jose Oliveira, Universidade do Minho, Portugal<br>
- Luigia Petre, Abo Akademi, Turku, Finland<br>
- Andreas Prinz, Agder University College, Norway<br>
- Alexander Raschke, University of ULM, Germany<br>
- Elvinia Riccobene, DTI - University of Milan, Italy<br>
- Ken Robinson, Univ. of New South Wales, Australia<br>
- Tom Rodeheffer, Microsoft Research, USA<br>
- Alexander Romanovsky, University of Newcastle, UK<br>
- Thomas Santen, European Microsoft Innovation Center, Germany<br>
- Patrizia Scandurra, University of Bergamo, Italy<br>
- Gerhard Schellhorn, University of Augsburg, Germany<br>
- Klaus-Dieter Schewe, Software Competence Center Hagenberg,
Austria<br>
- Steve Schneider, University of Surrey, UK<br>
- Colin Snook, University of Southampton, UK<br>
- Kevin Sullivan, University of Virginia, USA<br>
- Jing Sun, The university of Auckland, Auckland, New Zealand<br>
- Mana Taghdiri, Karlsruhe Institute of Technology, Germany<br>
- Bernard Thalheim, Christian Albrechts University Kiel, Germany<br>
- Margus Veanes, Microsoft Research, USA<br>
- Marcel Verhoef, CHESS BV, Netherlands<br>
- Friedrich Vogt, Hamburg University of Technology, Germany<br>
- Laurent Voisin, Systerel France<br>
- Qing Wang, Australian National University, Australia<br>
- Virginie Wiels, ONERA-DTIM, Toulouse, France<br>
- Kirsten Winter, University of Queensland, Australia<br>
<br>
For questions concerning ABZ 2014, contact Yamine AIT AMEUR (<a
class="moz-txt-link-abbreviated" href="mailto:yamine@n7.fr">yamine@n7.fr</a>)
or Klaus-Dieter SCHEWE (<a class="moz-txt-link-abbreviated"
href="mailto:Klaus-Dieter.Schewe@scch.at">Klaus-Dieter.Schewe@scch.at</a>).
<br>
</font></font>
</body>
</html>