ABZ 2021 next week

ABZ 2021 – 8th International Conference on
Rigorous State Based Methods (virtual)

The ABZ conference is dedicated to the cross-fertilization of state-based and machine-based formal methods, like 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. The conference aims for a vital exchange of knowledge and experience among the research communities around different formal methods.

Due to the worldwide spread of the coronavirus SARS-CoV-2 the ABZ 2020 was postponed to 2021. Nevertheless, all accepted contributions to ABZ 2020 have been published as Springer LNCS volume. Most of them will be presented at ABZ 2021 additionally to the new contributions as answers to the call for papers for ABZ 2021.

MEMOCODE’21 19th ACM-IEEE International Conference on Formal Methods and Models for System Design Beijing, China Nov 20-22, Co-located with FM 2021

Dates

  • Abstract submission deadline: June 30, 2021, 23:59 AoE
  • Paper submission deadline: July 6, 2021, 23:59 AoE
  • Notification of acceptance: August 30, 2021
  • Final version of papers: September 29, 2021, 23:59 AoE
  • Conference: November 20-22, 2021

MEMOCODE 2021 will be held as a virtual conference in light of the current COVID-19 situation, with the safety and well-being of all conference participants as the top priority.

Please visit  the conference link https:MEMOCODE 2021

 

 

 

 

New Book : Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems Communications of NII Shonan Meetings

Editors: Ait-Ameur, Yamine, Nakajima, Shin, Méry, Dominique (Eds.)

 

This book addresses mechanisms for reducing model heterogeneity induced by the absence of explicit semantics expression in the formal techniques used to specify design models. More precisely, it highlights the advances in handling both implicit and explicit semantics in formal system developments, and discusses different contributions expressing different views and perceptions on the implicit and explicit semantics.

The book is based on the discussions at the Shonan meeting on this topic held in 2016, and includes contributions from the participants summarising their perspectives on the problem and offering solutions. Divided into 5 parts: domain modelling, knowledge-based modelling, proof-based modelling, assurance cases, and refinement-based modelling, and offers inspiration for researchers and practitioners in the fields of formal methods, system and software engineering, domain knowledge modelling, requirement analysis, and explicit and implicit semantics of modelling languages.

 

The book is related to the  ANR Project IMPEX  http://impex.loria.fr

 

 

ABZ2020 – 7th International Conference on Rigorous State Based Methods

The ABZ conference is dedicated to the cross-fertilization of state-based and machine-based formal methods, like 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. The conference aims for a vital exchange of knowledge and experience among the research communities around different formal methods.

Important Dates

  • Workshop proposal : 01.11.19
  • Tutorial proposal : 16.02.20
  • Case study abstract : 29.11.19
  • Paper abstract : 13.01.20
  • Conference : 25. – 29.05.20

Case Study

As successfully practiced at ABZ 2014, ABZ 2016, and ABZ 2018, the 7th edition of ABZ will include again special sessions dedicated to a shared real-life case study. 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. After the success of the “Landing Gear” case study at ABZ 2014 in the aeronautical context, the « Hemodialysis Machine » case study at ABZ 2016 in the medical domain, and the « Hybrid ERTMS/ETCS » at ABZ 2018 in the railway domain, this time we defined a real-life case study issued from the automotive domain.

 

 

The 13th International Symposium on Theoretical Aspects of Software Engineering July 29-31, 2019, Guilin, China

The 13th Theoretical Aspects of Software Engineering Symposium (TASE 2019) will be held in Guilin, China in July 29-31, 2019. TASE is an international symposium that aims to bring together researchers and developers from academia and industry with interest in the theoretical aspects of software engineering. Modern society is increasingly dependent on software systems that are becoming larger and more complex. This poses new challenges to current software engineering methodologies that need to be enhanced using modern results from theoretical computer science. We invite submission of research papers on topics covering all theoretical aspects of software engineering, including those describing applications of theoretical computer science in industrial applications and software engineering methodologies.

 

FM’2019 October 7-11, 2019  Porto, Portugal

FM’19 is the 23rd symposium in a series organized by the Formal Methods Europe association (FME). Every 10 years the symposium is organized as a World Congress. Twenty years after FM’99 in Toulouse, and ten years after FM’09in Eindhoven, formal methods communities from all over the world will again have the opportunity to meet. Therefore, FM’19 will be both an occasion to celebrate, and a platform for enthusiastic researchers and practitioners from a diversity of backgrounds and schools to exchange their ideas and share their experience.

Abstract Submission: 28 March 2019

Full Paper Submission: 11 April 2019, 23:59 AoE

Dominique Méry is involved in the organisation of two workshops F-IDE and FMIS.