CfP - Deadline Extended: ABZ2014
4th International ABZ 2014 Conference
ASM, Alloy, B, TLA, VDM, Z
http://www.irit.fr/ABZ2014/
June 2-6, 2014
Toulouse, France
1 - Deadline is extended to February 3, 2014 for papers and case study papers. Please note, this is a FIRM DEADLINE.
2- Workshops are selected and workshop papers are welcome.
3- Please, do not forget to consider to submit answers to the case study.
4- Leslie Lamport is one of the keynote speakers. Other keynote speakers will be announced.
------------------------------------------------------------------------------------------------------
The ABZ 2014 conference is organized in Toulouse.
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 (http://www.abz2008.org/) 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 (http://pages.usherbrooke.ca/abzconference/) (Canada) where the Alloy community joined the event and the success of ABZ 2012 held in Pisa (/http://ifm-abz.isti.cnr.it/index.html)(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.
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.
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.
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.
Proposals are invited for workshops and tutorials to take place the day before the main conference.
Three kinds of contributions are invited:
- Research papers: full papers of not more than 14 pages in LNCS format, which have to be original, unpublished and not submitted elsewhere.
- 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.
- 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.
- 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.
Contributions should be submitted electronically in PDF at the ABZ 2014 conference Easy-Chair (https://www.easychair.org/conferences/?conf=abz2014) web site.
The papers must be prepared using the SPRINGER LNCS style (http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0). The answers to case study should be submitted electronically in PDF at the Case study Easy-Chair (https://www.easychair.org/conferences/?conf=abz2014) web site.
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.
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.
Case study session
------------------
Submissions for answers to case study are encouraged. For further details, please contact the case study session chairs.
Case study session chairs
Frederic BONIOL, ONERA-DTIM, Toulouse, France
Virginie Wiels, ONERA-DTIM, Toulouse, France
Selected Workshops (www.irit.fr/ABZ2014/workshop.html)
------------------
Five (5) workshops are associated to the main event ABZ. Information are available on the workshops website link www.irit.fr/ABZ2014/workshop.html. For further information, contact the workshop organizers.
1. TLA 2014: Proposal for a TLA+ community event
------------------------------------------------
Workshop organizers:
- Leslie Lamport, Microsoft Research, San Francisco, USA
- Stephan Merz, INRIA-Lorraine, Nancy, France
- Philippe Queinnec, INPT-ENSEEIHT/IRIT, Toulouse, France
2. Integrated use of Methods and Tools for High-Assurance Rigorous Systems and Software Development (iHARNESS)
--------------------------------------------------------------------------------------------------------------
Workshop organizers:
- Elvinia Riccobene - University of Milan, Mila, Italy
- Atif Mashkoor - Software Competence Center Hagenberg, Austria
Invited Speaker:
Prof. Egon Borger - University of Pisa, IT
3. Workshop on Tool Building in Formal Methods (2nd edition)
------------------------------------------------------------
Workshop organizers:
- Angelo Gargantini - University of Bergamo, Bergamo, Italy
- Paolo Arcaini - University of Bergamo, Bergamo, Italy
4. Rodin User and Developer Workshop at ABZ 2014 (2 days)
---------------------------------------------------------
Workshop organizers:
- Michael Butler, University of Southampton, UK
- Stefan Hallerstede, University of Aarhus, Denmark
- Thierry Lecomte, ClearSy, France
- Michael Leuschel, University of Dusseldorf, Germany
- Alexander Romanovsky, University of Newcastle, UK
- Marina Walden, - Abo Akademi, Finland
- Laurent Voisin, Systerel, France
5. 1st International Workshop about Sets and Tools (SETS)
--------------------------------------------------------------
Workshop organizers:
- David Delahaye, Cnam, Paris, France
- Catherine Dubois, Ensiie, Evry, France
For further information related to workshop organisation, please contact the workshop chairs.
Lugia Petre, University of Turku, Turku, Finland
Patrizia Scandurra, University of Bergamo, Italy
Alexander Romanovski, University of Newcastle, Newcastle, United Kingdom
Tutorial Proposals
------------------
Tutorial proposal should be sent to the tutorial chairs
Stefan Hallerstede, University of Aarhus, Aarhus, Denmark
Roozbeh Farahbod, SAP research, Karlshrue, Germany
The deadline for submissions is January 30, 2014. Notifications will be sent by February 28, 2014
ABZ 2014 Invited Speakers
-------------------------
Leslie LAMPORT, Microsoft Research, USA.
Other invited speakers will be announced.
Important dates
----------------
Research/Industry papers and answers to case study FEBRUARY 3, 2014 NEW DATE
Short paper submission: FEBRUARY 3, 2014
Tutorial proposal notifications: Febuary 28, 2014
Papers notification: March 1, 2014
Final Version due: March 20, 2014
Main ABZ 2012 conference: June 2-6, 2014
Conference Chairs
-----------------
Yamine AIT AMEUR , INPT-ENSEEIHT and IRIT, Toulouse,France
Klaus-Dieter SCHEWE, University of Linz and SCCH, Linz, Austria
Program Committee
------------------
- Jean-Raymond Abrial, Marseille, France
- Yamine Ait Ameur, IRIT-ENSEEIHT, Toulouse, France
- Richard Banach, University of Manchester, UK
- Egon Boerger, University of Pisa, Italy
- Eerke Boiten, University of Kent
- Frederic Boniol, ONERA-DTIM, Toulouse, France
- Michael Butler, Univesrity of Southampton, UK
- Ana Cavalcanti, University of York, UK
- David Deharbe, Federal University of Rio Grande do Norte, Brazil
- John Derrick, Unversity of Sheffield, UK
- Juergen Dingel, Queen's University, Canada
- Kerstin Eder, University of Bristol, UK
- Roozbeh Farahbod, SAP Research, Karlsruhe, Germany
- Mamoun Filali, IRIT, CNRS, Toulouse, France
- John Fitzgerald, Newcastle University, UK,
- Marc Frappier, University of Sherbrooke, Canada
- Vincenzo Gervasi, University of Pisa, Italy
- Dimitra Giannakopoulou, NASA, Ames, USA
- Uwe Glasser, Simon Fraser University, Canada
- Stefania Gnesi, CNR - Pisa, Italy
- Lindsay Groves, Wellington University, New Zealand
- Stefan Hallerstede, University of Aarhus, Denmark
- Klaus Havelund, Jet Propulsion Laboratory/NASA, USA
- Ian J. Hayes, University of Queensland, Australia
- Rob Hierons, Brunel University, UK
- Thai Son Hoang, ETH Zurich, Switzerland
- Sarfraz Khurshid, University of Texas at Austin, USA
- Regine Laleau, Univesity of Paris-Est, France
- Leslie Lamport, Microsoft Research, USA
- Peter Gorm Larsen, Aarhus School of Engineering, Denmark
- Thierry Lecomte, ClearSy, France
- Michael Leuschel, University of Dusseldorf, Germany
- Zhiming Liu, International institute for software technology, UNU University, Macao
- Tiziana Margaria, University of Potsdam, Germany
- Atif Mashkoor, SCCH, Linz, Austria
- Dominique Mery, Loria, Universite de Lorraine, Nancy, France
- Stephan Merz, LORIA, Nancy, France
- Mohamed Mosbah, Labri, Universite de Bordeaux I, Bordeaux, France
- Cesar Munoz, NASA Langley Research Center, USA
- Uwe Nestmann, Technical University of Berlin, Germany
- Christophe Newcombe, Amazon, USA
- Jose Oliveira, Universidade do Minho, Portugal
- Luigia Petre, Abo Akademi, Turku, Finland
- Andreas Prinz, Agder University College, Norway
- Alexander Raschke, University of ULM, Germany
- Elvinia Riccobene, DTI - University of Milan, Italy
- Ken Robinson, Univ. of New South Wales, Australia
- Tom Rodeheffer, Microsoft Research, USA
- Alexander Romanovsky, University of Newcastle, UK
- Thomas Santen, European Microsoft Innovation Center, Germany
- Patrizia Scandurra, University of Bergamo, Italy
- Gerhard Schellhorn, University of Augsburg, Germany
- Klaus-Dieter Schewe, Software Competence Center Hagenberg, Austria
- Steve Schneider, University of Surrey, UK
- Colin Snook, University of Southampton, UK
- Kevin Sullivan, University of Virginia, USA
- Jing Sun, The university of Auckland, Auckland, New Zealand
- Mana Taghdiri, Karlsruhe Institute of Technology, Germany
- Bernard Thalheim, Christian Albrechts University Kiel, Germany
- Margus Veanes, Microsoft Research, USA
- Marcel Verhoef, CHESS BV, Netherlands
- Friedrich Vogt, Hamburg University of Technology, Germany
- Laurent Voisin, Systerel France
- Qing Wang, Australian National University, Australia
- Virginie Wiels, ONERA-DTIM, Toulouse, France
- Kirsten Winter, University of Queensland, Australia
For questions concerning ABZ 2014, contact Yamine AIT AMEUR or Klaus-Dieter SCHEWE