DS-Event-B-2012: Workshop on the experience of and advances in developing dependable systems in Event-B
In conjunction with
ICFEM 2012
Nov 13, 2012
Kyoto, Japan
Important Dates
Submission Deadline:
Aug 19, 2012
(extended)
Notification:
Sep 10, 2012
Camera-ready Copy Due
Oct 10, 2012
Workshop:
Nov 13, 2012
Contact:
f-ishikawa<-at->nii.ac.jp
Links
ICFEM 2012
CbC-Depend Tutorial
Sponsers
Organization
Program Chairs
Fuyuki Ishikawa (National Institute of Informatics, Japan)
Alexander Romanovsky (Newcastle University, UK).
Program Committee
- Michael Butler (University of Southampton, UK)
- Stefan Hallerstede (University of Aarhus, Denmark)
- Thai Son Hoang (ETH Zurich, Switzerland)
- Alexei Iliasov (Newcastle University, UK)
- Hironobu Kuruma (Hitachi, Japan)
- Linas Laibinis (Aabo Akademi, Finland)
- Regine Laleau (Universite Paris-Est Creteil, France)
- Thierry Lecomte (ClearSy, France)
- Michael Leuschel (University of Dusseldorf, Germany)
- Felix Loesch (Bosch, Germany)
- Dominique Mery (LORIA & Université de Lorraine, France)
- Shin Nakajima (National Institute of Informatics, Japan)
- Jose Reis (Critical Software, UK)
- Andreas Roth (SAP, Germany)
- Aryldo G Russo (Grupo AeS, Brazil)
- Elena Troubitsyna (Aabo Akademi, Finland)
- Laurent Voisin (Systerel, France)
- Stephen Wright (Airbus, UK)