Event B Modelling Language at LORIA

General Informations

• Logics of Specification Languages appears in the Series: Monographs in Theoretical Computer Science. An EATCS Series Bjorner, Dines; Henson, Martin C. (Eds.) . A chapter on Event B is cowritten by Dominique Cansell and Dominique Méry.
• The RODIN Platform for Event B
• Very soon the Official Event B Site
• Project RIMEL on refinement of event systems and applications to distributed algorithms and system engineering
• The research group MOSEL in the UMR no 7503 LORIA laboratory, is working on the Event B Modelling Language.

Conferences, Workshops, Meetings on B and/or Event B

• Special B Education Day at Univerity of Nantes on the 16th of June 2008, NANTES, FRANCE
• ABZ 2008 Conference, September 16-18, 2008, Covent Garden, London, UK
• FM'08 15th International Symposium on Formal Methods, May 26-30, 2008, Abo Akademi University, Turku, Finland
• Seminar Formal Modelling: Methodologies, Techniques and Tools or To B or in any Event To B on the 6th of December 2007 (St Nicolas)
• Programme du Forum AFIS IngŽnierie Système 27, 28, 29 novembre 2007 ˆ Nancy UniversitŽ
• 2007 Isola Workshop On Leveraging Applications of Formal Methods, Verification and Validation, Poitiers, France, December 12-14 2007
• Fundamental Approaches to Software Engineering 29 March-6 April, 2008, Budapest, Hungary

Usefull links to ressources related to the B Method, Event B ...

• B Site Pages of Grenoble

• The B-Method on WWWW FM
• b4free