About the Conference

TFM B’2010 invites future participants to register. http://www.lina.sciences.univ-nantes.fr/apcb/BDayNantes2010/

Invited speakers

• Pierre Casteran (Proving with Coq and B, LaBRI Bordeaux, FR)
  • Jean-Raymond Abrial (Event B, Marseille, FR)

=================================================

In 2010 the University of Nantes will be holding an extensive series of no less than 20 one-day conferences in a wide range of subjects from science and technology, biology and health, and human and social sciences. These will all take place at the impressive large modern purpose-built venue of the “Cité Internationale des Congrès” in the centre of Nantes, and are expected to attract up to 1750 participants altogether. Within such a context the above one-day conference on the Teaching of Formal Methods, the B Method in particular, will be held on 7 June 2010.

The first B conference took place in Nantes during November 1996 and was followed by a series. During the conferences of Montpellier (FR, 1998), York (UK, 2000) and Grenoble (FR, 2002), education sessions were held with published proceedings. The APCB Association (International B Conferences Steering Committee) organised meetings in Paris and in Nantes. The Nantes meeting was devoted to teaching; Since 2008, APCB is organising an annual meeting in Nantes.

Software engineering research must lead to put it into practice. For that, teaching is a cornerstone and should conciliate the basics and the practice. We may consider two principal arguments in favour of teaching the B method: First, the B method and his concepts can be considered as having an essential pedagogical interest even if this method is not used to reach the code. The B method is an industrial method which reaches the industrialisation level going from specification to programming. There are several examples of concrete applications and an active community involving academy and industry around the B (see Rodin Platform for example). The B method is also used as a first approach towards other formal methods.

We anticipate a rich exchange of experiments on teaching formal method, in particular the B method. Previous invited speakers are J-R. Abrial (2008), M. Leuschel (2009). Pierre Casteran (Specialist of the Coq prover) and Jean-Raymond Abrial are invited for the current edition.

Conference Dates