Event-B Day 2014

Oct 31 2014

19F Conference Room, National Institute of Informatics

Event-B is a formal method for the system level modelling and analysis of dependable applications. It is supported by an open and extendable Eclipse-based toolset called Rodin, which has been developed in a series of European projects. This one day event aims to bring the community of Event-B/Rodin users and developers together to discuss new and emerging issues in applying and advancing both the Event-B method and the Rodin platform as well as address challenges that industrial takers are facing while deploying them.

Tentative Program

9:00-9:30 Registration
9:30-9:45 Opening: Fuyuki Ishikawa and Alexander Romanovsky

Thierry Lecomte (ClearSy, France): Safety Critical System specification and codesign

Neeraj Kumar Singh (McMaster, Canada): Development of Critical Systems using Event-B

10:45-11:00 Break

Jean-Raymond Abrial (France):

The Rodin "Theory" Plug-in and application

Extensions of the Event-B language

12:00-13:30 Lunch discussions

Elena Troubitsyna (Aabo Akademi, Finland): Formal modelling of complex resilient systems: experience and challenges

Yamine Ait Ameur (NPT-ENSEEIHT and IRIT, France): Systematic development of communicating systems. An application to web services composition

Dominique Mery (Loria, France): Refinement-based Modelling for Distributed Systems

15:00-15:15 Break

Hoang Son Thai (ETH, Switzerland / Hitachi, Japan): Formal Data Validation Combining Theorem Proving and Model Checking Techniques

Alexei Iliasov (Newcastle University, UK): Gamification for formal modelling

Daichi Mizuguchi (Atelier Inc., Japan): Trial applications of Event-B for automotive industry

16:45-17:00 Break

Tsutomu Kobayashi (University of Tokyo, Japan): Deriving and analyzing refinement plans in Event-B

Naoto Sato (Hitachi and The University of Electro-Communications, Japan): Proposal of Modeling Process in Event-B Refinement

Shin Nakajima (NII, Japan and Hironobu Kuruma (Hitachi, Japan): Teaching Formal Methods -- An Event-B Textbook

19:00- Dinner

Registration / Call for Presentations

Participation in the event is open. Please register with the form:

Registration Form

We are very much welcome participants who would like to present their work on the relevant topics. Register the title/abstract from the above link. We will contact the presenter about the acceptance of presentation.


Alexander Romanovsky (Newcastle University, UK)

Fuyuki Ishikawa (National Institute of Informatics, Japan)

Contact : f-ishikawa <AT> nii.ac.jp