[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 *
http://www.irit.fr/ABZ2014/
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
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
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
http://fmeurope.hosting.west.nl/mailman/listinfo/events
More information about the ecoop-info
mailing list