Conferences

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.

B Dissemination Day

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.

FM'2008 Conference

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 Conference

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...