[ecoop-info] it-fmeurope-events Digest Mon, 18 Sep 2017

it-fmeurope-events-request at lists.uu.se it-fmeurope-events-request at lists.uu.se
Mon Sep 18 18:00:34 CEST 2017

it-fmeurope-events digest Mon, 18 Sep 2017

Table of contents:

* 1 - [FME Events] ABZ 2018, Call for Contributions - Asieh Salehi
  <asf08r at ecs.soton.ac.uk>
* 2 - [FME Events] [fm-announcements] NASA Formal Methods Symposium 2018 - CFP
  - "Munoz, Cesar (LARC-D320)" <cesar.a.munoz at nasa.gov>
* 3 - [FME Events] CfPart: Reliability, safety and security of railway systems
  - RSSRail 2017 (Pistoia, Italy) - Alexander Romanovsky
  <alexander.romanovsky at newcastle.ac.uk>


Message-ID: <EMEW3|0da268e49114bada3ffee9e103316922y8CAnm06asf08r|
 ecs.soton.ac.uk|17F8E56F-7FDD-4B81-A9DF-DA996129C024 at ecs.soton.ac.uk>
Date: Wed, 13 Sep 2017 10:49:48 +0100
From: Asieh Salehi <asf08r at ecs.soton.ac.uk>
Subject: [FME Events] ABZ 2018, Call for Contributions

ABZ 2018
6th International ABZ (ASM, Alloy, B, TLA, VDM, Z) Conference
June 5th-8th, 2018
Southampton, UK
www.southampton.ac.uk/abz2018 <http://www.southampton.ac.uk/abz2018>

Call for Papers, Answers to the case study, Workshops, Tutorials

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 in 2008, where the ASM, B and Z conference series
merged into a single event, the second ABZ 2010 conference held in Orford
(Canada), where the Alloy community joined the event, the ABZ 2012 held in
Pisa (Italy), which saw the inclusion of the VDM community, and ABZ 2014 held
in Toulouse (France), which brought the inclusion of the TLA community into
the ABZ conference series and the ABZ 2016 held in Linz, Austria. The ABZ 2018
conference will be held in Southampton, UK.

ABZ 2018 will have a main conference track, a case study track, tutorials and

Invited Speakers
Jean-Raymond Abrial, Marseille, France
Janet Barnes and Angela Wallenburg, Altran, UK
Daniel Jackson, Massachusetts Institute of Technology
Klaus-Dieter Schewe, Software Competence Centre Hagenberg, Austria

Case Study Track
As successfully practiced at ABZ 2014 and ABZ 2016, the 6th edition of ABZ
will again include special sessions dedicated to "Hybrid ERTMS/ETCS Level 3”
case study. See here
<https://www.southampton.ac.uk/abz2018/information/case-study.page?> for a
detailed description of this case study.

Main ABZ Track
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. 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.

Workshop and Tutorial Proposals
Workshops and tutorials will be associated with the main event ABZ. Proposals
are solicited in areas related to the conference topics.

A workshop proposal should contain the title of the workshop, a short
description of the scientific content, the names and brief CVs of the workshop
organizers, the intended PC for the workshop, the duration of the workshop,
and the expected number of participants.

A tutorial proposal should contain the title of the tutorial, a short
description of the scientific content, the names and brief CVs of the tutorial
presenters and the duration.

Call For Papers
Four kinds of contributions are invited:

•    Full 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.

Accepted papers will appear in the Springer LNCS proceedings. See here
<https://www.southampton.ac.uk/abz2018/call-for-contributions.page?> for
submission details. The deadline for abstract submission is January 22, 2018
and for paper submission is January 29, 2018.

Important dates
Abstract submission deadline: January 22, 2018
Paper submission deadline: January 29, 2018 (including research/short/case
study/industry papers)
Workshop proposal submission deadline: December 15, 2017
Tutorial proposal submission: February 16, 2018
ABZ 2018 conference: June 5-8, 2018

Conference Chairs:

Michael Butler <http://www.ecs.soton.ac.uk/people/mjb>, University of
Southampton, Southampton, UK
Alexander Raschke <https://www.uni-ulm.de/en/in/pm/team/raschke/>, Universität
Ulm, Ulm, Germany

Case Study Chairs:

Klaus Reichl <mailto:klaus.reichl at thalesgroup.com>, Thales Ground Transport
Division, Vienna, Austria
Thai Son Hoang <http://www.ecs.soton.ac.uk/people/tsh2n14>, University of
Southampton, Southampton, UK

Workshop Chairs:

Stefan Hallerstede
Aarhus University, Aarhus, Denmark

Tutorial Chairs:

Colin Snook <http://www.ecs.soton.ac.uk/people/cfs>, University of
Southampton, Southampton, UK

Publicity Chair

Asieh Salehi <http://www.ecs.soton.ac.uk/people/asf08r>, University of
Southampton, Southampton, UK

For further questions concerning ABZ 2018, please contact us at
abz2018 at soton.ac.uk <mailto:abz2018 at soton.ac.uk>

Message-ID: <1C7173C4-98AE-4E75-A5A2-7C925DE558D2 at nasa.gov>
Date: Thu, 14 Sep 2017 17:54:32 +0000
From: "Munoz, Cesar (LARC-D320)" <cesar.a.munoz at nasa.gov>
Subject: [FME Events] [fm-announcements] NASA Formal Methods Symposium 2018 -

NFM 2018 - Call for Papers

The 10th NASA Formal Methods Symposium
30 Years of Formal Methods at NASA
April 17-19, 2018
Newport News Marriott at City Center
Newport News, VA, USA

Theme of the Symposium

The widespread use and increasing complexity of mission-critical and
safety-critical systems at NASA and in the aerospace industry require advanced
techniques that address these systems' specification, design, verification,
validation, and certification requirements. The NASA Formal Methods Symposium
(NFM) is a forum to foster collaboration between theoreticians and
from NASA, academia, and industry. NFM's goals are to identify challenges and
provide solutions for achieving assurance for such critical systems.

New developments and emerging applications like autonomous software for
Aerial Systems (UAS), UAS Traffic Management (UTM), advanced separation
assurance algorithms for aircraft, and the need for system-wide fault
diagnosis, and prognostics provide new challenges for system specification,
development, and verification approaches. Similar challenges need to be
addressed during development and deployment of on-board software for both
spacecraft and ground systems.

The focus of the symposium will be on formal techniques and other approaches
software assurance, including their theory, current capabilities and
limitations, as well as their potential application to aerospace, robotics,
other NASA-relevant safety-critical systems during all stages of the software

Topics of interest include but are not limited to:
* Formal verification, including theorem proving, model checking, and static
* Advances in automated theorem proving including SAT and SMT solving
* Use of formal methods in software and system testing
* Run-time verification
* Techniques and algorithms for scaling formal methods such as abstraction and
   symbolic methods, compositional techniques, as well as parallel and/or
   distributed techniques
* Code generation from formally verified models
* Safety cases and system safety
* Formal approaches to fault tolerance
* Theoretical advances and empirical evaluations of formal methods techniques
  for safety-critical systems, including hybrid and embedded systems
* Formal methods in systems engineering and model-based development

Submission Details
There are two categories of submissions:

1. Regular papers describing fully developed work and complete results
   15 pages)

2. Short papers on tools, experience reports, or work in progress with
   preliminary results (maximum 6 pages)

All papers must be in English and describe original work that has not been
published or submitted elsewhere. All submissions will be fully reviewed by at
least three members of the Program Committee.

Papers will appear in a volume of Springer's Lecture Notes in Computer Science
(LNCS), and must use LNCS style formatting. Papers must be submitted in PDF
format at the EasyChair submission site:


Authors of selected best papers may be invited to submit an extended version
a special issue of a computer science journal.

Important Dates
Abstract Submission: November 10, 2017
Paper Submission: November 20, 2017
Paper notification: January 19, 2018
Camera Ready Deadline: February 9, 2018
Symposium: April 17-19, 2018

The symposium will take place at Newport News Marriott at City Center, Newport
News, VA, USA.

Registration is required but is free of charge.

Organizing Committee
Anthony Narkawicz (Conference Chair)
Aaron Dutle (Program Co-Chair)
Cesar Munoz (Program Co-Chair)

Email: nfm2018 [at] easychair [dot] org
Web: https://shemesh.larc.nasa.gov/NFM2018/

To opt-out from this mailing list, send an email to

fm-announcements-request at lists.nasa.gov

with the word 'unsubscribe' as subject or in the body. You can also make the
request by contacting

fm-announcements-owner at lists.nasa.gov

Message-ID: <WM!
Date: Fri, 15 Sep 2017 18:38:14 +0000
From: Alexander Romanovsky <alexander.romanovsky at newcastle.ac.uk>
Subject: [FME Events] CfPart: Reliability, safety and security of railway
 systems - RSSRail 2017 (Pistoia, Italy)


                     CALL FOR PARTICIPATION

International conference on reliability, safety and security of railway
        modelling, analysis, verification and certification
                             RSSRail 2017

              November 14-16, 2017, Pistoia, Italy


The conference focuses  on the reliability, safety and security of railway
systems, faced with new challenges (such as increasing capacity and speed),
new trends (such as pervading automation), and new threats (such as cyber-
security). Advanced techniques and tools are needed for modelling,
analysis, verification and validation that can cope with these issue.
There is a pressing need to bring together researchers and developers working
railway system reliability, security and safety to discuss how these
can be met in an integrated way. It is also vital to ensure that all advances
research (both in academia and industry) are driven by real industrial needs.
This can help ensure that such advances are followed by industrial deployment.
Another particularly important objective is to integrate research advances
the current development processes, and make them usable and scalable.

The conference is jointly organized by Newcastle University, University of
Florence and DITECFER.

*** VENUE ***

Pistoia, Italy

Pistoia is a little-known delight, often missed by travellers in favour or its
neighbour Tuscan towns such as Florence, Pisa, Lucca and Siena.  Yet Pistoia
a gem. All the ingredients of an old Tuscan city are there: old walls, striped
churches, frescoes, medieval watchtowers, arcaded piazzas packed into a rather
small centre. Pistoia has been elected Italy's 2017 Capital of Culture.
Pistoia has also hosted an important presence of railways for more than 150
years: from the first trans-Apennines north-south connection, to the
depot now hosting heritage railway stock, to the presence of a wide-ranging
and innovative grouping of rail industry suppliers.


Registration is open! Early registration until October 2.


The program include eleven technical papers, three industrial experience
reports and
two PhD students papers. The papers confirm a wide interest in developing, and
applying in practice, formal modelling and verification techniques as the most
effective way to guarantee the safety of nowadays very complex railway system.
Besides these continued research area, two important topics clearly emerge
the accepted papers: the challenges posed to the safety and security of
systems by the increasing reliance on advanced communication means on one
and the industrial interest in the expansion of automation and advanced
expanding from the sector of main line railways to light rail and urban
See details at:

The program is completed by  three keynote speakers and four tutorials, by
and industrial exhibitors, and by a presentation of the Shift2Rail initiative.


Jens Braband, Siemens AG, Rail Automation and Honorary Professor of Technical
University of Braunschweig, Germany:
'Quo vadis - Cybersecurity in railways'.

Michael Leuschel, Heinrich Heine Universität, Dusseldorf, Germany:
'The Unreasonable Effectiveness of B for Data Validation and Modelling of
Railway Systems'.

Aryldo Ar. Russo, CERTIFER, France:
'Safety Certification: considering processes around the world.'


Four tutorials will be presented, see details at:


Conference Chairs:
Alessandro Fantechi, University of Florence, Italy
Thierry Lecomte, ClearSy, France
Alexander Romanovsky, Newcastle University, UK

PC members:
Carlo Becheri, ALSTOM, Italy
Mark Behrens, Independent consultant, Germany
Andrea Bondavalli, University of Florence, Italy
David Bonvoisin, RATP, France
Fares Chucri, SNCF, France
Simon Collart-Dutilleul, IFFSTAR, France
Francesco Flammini, UMUC Europe, Germany
Stefania Gnesi, ISTI, Italy
Frank Golatowski, University of Rostock, Germany
Anne Haxthausen, Technical University of Denmark, Denmark
Baseliyos Jacob, Deutsche Bahn, Germany
Michael Jastram, Formal Mind, Germany
Alexei Iliasov, Newcastle University, UK
Tim Kelly, University of York, UK
Hironobu Kuruma, Hitachi, Japan
Michael Leuschel, Dusseldorf University, Germany
Gianluca Mandò, Thales, Italy
Jean Marc Mota, Thales R&T, France
Jan Peleska, Verified Systems International, Germany
Ralf Pinger, Siemens AG, Germany
Christophe Ponsard, CETIC, Belgium
Peter Popov, City University, UK
Etienne Prun, ClearSy, France
Matteo Rossi, Politecnico di Milano, Italy
Aryldo Russo, CERTIFER, France
Kenji Taguchi, AIST, Japan
Jaco van de Pol, University of Twente, Netherlands
Laurent Voisin, Systerel, France
Kirsten Winter, University of Queensland, Australia

Conference Organisation and Financial Chair:
Joan Atkinson, Newcastle University, UK

Local Organisation Chair:
Veronica Bocci, DITECFER, Italy



End of it-fmeurope-events Digest Mon, 18 Sep 2017

More information about the ecoop-info mailing list