B News

DASIA 2008, from May 27 to 30, 2008 at Palma de Majorca

ClearSy will participate in the DASIA 2008 (DAta Systems in Aerospace) conference to be held between May 27 and 30, 2008.  For more information on this event, visit:

DASIA 2008.

Download the program.

Source: DASIA 2008 Date: 02/04/2008

Conference on Formal Methods, Turku, Finland
Formal Methods Europe has organized an international conference on formal methods to be held from May 26 to 30.  This event will provide information on the latest technical innovations related to these methods and will present new formal tools. 

For more information on this conference, visit: FM 2008.

Source: FM 2008 Date: 02/04/2008

Conference: the B Method, from Research to Teaching
The University of Nantes has organized a conference on the B Method, which will take place on June 16, 2008 at the Cité Internationale des Congrès in the City of Nantes.
For information on the conference program, we invite you to visit:
- the Nantes conference site
- the conference blog

Source : B Forum Date : 08/02/2008

ABZ Conference 2008 from 16 to 18 September 2008, in London
The ABZ Conference 2008 has the objective of bringing together the B, Z and ASM communities. It will be organized around one joint day and 2 days belonging to each community, that is:

• the 15th International ASM Workshop,
• the 17th International Conference of Z Users,
• the 8th International Conference on the B Method.

Information is available on the conference’s website: ABZ 2008.

Source : B Forum Date : 11/01/2008

Conference on Formal Engineering Methods 
On the occasion of its 9^th conference, the ICFEM (International Conference on Formal Engineering Methods), which will take place from November 14 to 15, 2007 in Florida, will discuss the B and the Rodin Platform issue. (Request the program).