[ecoop-info] [ABZ2014] Call For Papers -- DEADLINE EXTENDED.

Announcements of FME events events at fmeurope.org
Sun Jan 12 23:28:44 CET 2014

DEADLINES FOR paper and case study submissions ARE EXTENDED TO **
*FEBRUARY 3,  2014*

*    4th International ABZ 2014 Conference
                                 ASM, Alloy, B, TLA, VDM, Z *


                                       June 2-6, 2014
                                      Toulouse, France

Call for Papers
--------------------------------------------- LATEST NEWS 
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 

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 

     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
                          Frédéric BONIOL, ONERA-DTIM, Toulouse, France 
(frederic.boniol at onera.fr)
                          Virginie Wiels, ONERA-DTIM, Toulouse, France 
(Virginie.Wiels at onera.fr)

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, 
lamport at microsoft.com
       - Stephan Merz, INRIA-Lorraine, Nancy, France, stephan.merz at loria.fr
       - Philippe Queinnec, INPT-ENSEEIHT/IRIT, Toulouse, France, 
philippe.queinnec at enseeiht.fr

     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 
elvinia.riccobene at unimi.it
       - Atif Mashkoor - Software Competence Center Hagenberg, Austria 
atif.mashkoor at scch.at

     Invited Speaker:
                           Prof. Egon Börger - University of Pisa, IT

     3. Workshop on Tool Building in Formal Methods (2nd edition)
Workshop organizers:
       - Angelo Gargantini - University of Bergamo, Bergamo, Italy 
angelo.gargantini at unibg.it
       - Paolo Arcaini - University of Bergamo, Bergamo, Italy, 
paolo.arcaini at unimi.it

     4. Rodin User and Developer Workshop at ABZ 2014 (2 days)
Workshop organizers:
       - Michael Butler, University of Southampton, UK mjb at ecs.soton.ac.uk
       - Stefan Hallerstede, University of Aarhus, Denmark sha at iha.dk
       - Thierry Lecomte, ClearSy, France, thierry.lecomte at clearsy.com
       - Michael Leuschel, University of Dusseldorf, Germany 
leuschel at cs.uni-duesseldorf.de
       - Alexander Romanovsky, University of Newcastle, UK 
Alexander.Romanovsky at newcastle.ac.uk
      - Marina Walden, - Abo Akademi, Finland Marina.Walden at abo.fi
      - Laurent Voisin, Systerel, France, laurent.voisin at systerel.fr

     5.       1st International Workshop about Sets and Tools (SETS)
Workshop organizers:
      - David Delahaye, Cnam, Paris, France David.Delahaye at cnam.fr
      - Catherine Dubois, Ensiie, Evry, France dubois at ensiie.fr

For further information related to workshop organisation, please contact 
the workshop chairs.
           Lugia Petre, University of Turku, Turku, Finland     
(Lugia.Petre at abo.fi)
           Patrizia Scandurra, University of Bergamo, Italy             
                                               (patrizia.scandurra at unibg.it)
           Alexander Romanovski, University of Newcastle, Newcastle, 
United Kingdom  (alexander.romanovsky at newcastle.ac.uk)

Tutorial Proposals
Tutorial proposal should be sent to the tutorial chairs
     Stefan Hallerstede, University of Aarhus, Aarhus, Denmark     
(sha at iha.dk)
Roozbeh Farahbod, SAP research, Karlshrue, Germany                   
(roozbeh.farahbod at sap.com)

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 (yamine at n7.fr)
Klaus-Dieter SCHEWE, University of Linz and SCCH, Linz, Austria 
(Klaus-Dieter.Schewe at scch.at)

Program Committee
- Jean-Raymond Abrial, Marseille, France
- Yamine Ait Ameur, IRIT-ENSEEIHT, Toulouse, France
- Richard Banach, University of Manchester, UK
- Egön Boerger, University of Pisa, Italy
- Eerke Boiten, University of Kent
- Frédéric 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 Glässer, 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 Zürich, 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 Düsseldorf, 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, Université de Lorraine, Nancy, France
- Stephan Merz, LORIA, Nancy, France
- Mohamed Mosbah, Labri, Université de Bordeaux I, Bordeaux, France
- Cesar Munõz, 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 
(yamine at n7.fr) or Klaus-Dieter SCHEWE (Klaus-Dieter.Schewe at scch.at).
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://web.satd.uma.es/pipermail/ecoop-info/attachments/20140112/51b6ff7d/attachment.html>
-------------- next part --------------
events mailing list
events at fmeurope.org

More information about the ecoop-info mailing list