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>
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. ABZ 2018 will have a main conference track, a
case study track and workshops.
-----------------------
Registration
-----------------------
Registration for ABZ 2018 is now open: find out more
here<https://www.southampton.ac.uk/abz2018/participants/registration.page>.
-----------------------
Invited Speakers
-----------------------
Jean-Raymond Abrial, Marseille, France: On B and Event-B: Principles, Success
and Challenges
Janet Barnes and Angela Wallenburg, Altran, UK: Formal Methods Considered Normal
Daniel Jackson, Massachusetts Institute of Technology: A New Way to Think About
Software
Klaus-Dieter Schewe, Software Competence Centre Hagenberg, Austria: Distributed
Systems — Theory, Specifications, Reasoning
-----------------------
Accepted Papers
-----------------------
Accepted papers now available, find out more
here<https://www.southampton.ac.uk/abz2018/participants/programme.page>.
-----------------------
Workshops
-----------------------
The 7th Rodin User and Developer Workshop (Rodin 2018): find out more
here<http://wiki.event-b.org/index.php/Rodin_Workshop_2018>.
3rd International Workshop about Sets and Tools (SETS 2018): find out more
here<http://www.lirmm.fr/sets2018/>.
------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot
_______________________________________________
hol-info mailing list
hol-info@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info
