Home |
B News |
B Method |
R&D Activities |
Formal Proof |
Publications |
Conferences |
B, the different languages |
Open Source Projects |
B Tools |
Documents |
Links |
Contact
Conferences
 |
From Research to Teaching Formal Methods: the B Method - Nantes 2010 The workshop "From Research to Teaching Formal Methods: the B Method" was held in Nantes June 7, 2010, at "Journées Scientifiques de l'Université de Nantes". |
 |
The aim of this workshop is to illustrate B/event-B formal modeling as a technique for specifying, designing, coding and validating software-based systems. |
 |
Workshop on B Dissemination [WOBD] - Satellite event of SBMF 2010 This B / event-B workshop is organized within the framework of the DEPLOY project. Its objectives are to present current status and ongoing research and development related to B and event B languages, as well as applications to industry size problems. |
 |
Workshop on Recent Innovations and Applications in B [RIAB] The "Recent Innovations and Applications in B" (RIAB) workshop will be held at Eindhoven on 3 November 2009 as part of the Formal Methods week. |
|
AeS and ClearSy have organized a day dedicated to the B Method, which will take place in Brazil. The objective of this event was to present and promote the B Method through different presentations of projects and tools that use B. |
 |
At the occasion of the FM'2008 international conference on formal methods, located in Turku, Finland, May 28-30 2008, ClearSy presented, during the Industry Day, a paper describing our recent, industrial experience in using B for specifying, designing and contributing to the validation of safety critical systems. |
 |
Nantes Conference - The B Method: from Research to Teaching The “B Method: from Research to Teaching” seminar took place in Nantes on June 16, 2008 on the occasion of the scientific days event at the University of Nantes... |
 |
B2007 is an international conference on B language, its evolution and related tools. |
 |
AFADL'06 Conference Clearsy participated in AFADL’06 (March 15, 16 and 17, 2006). Demonstration of a new support tool for system specifications: CompoSys. To discover Composys... |