From Research to Teaching Formal Methods - The B Method
TFM B'2010 (3rd edition)


>>   7 June 2010   <<

Call for Participation[file ]

Invited speakers

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 B Method will be held on 7 June 2010.
The first B conference took place in Nantes during November 1996 and was followed by the Montpellier (FR), York (FR), Grenoble (FR), Turku (FI), Guilford and Besancon(FR), London (UK, 2008), Oreford (CA, 2009) Conferences. During the conferences of Montpellier and Grenoble, 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. But since a few years, there was no specific meeting dedicated to teaching B.
Software Engineering research must lead to put it into practice. For that, it is necessary to use teaching, teaching that must 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. 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).

In this 2010 edition we also encourage the submission of papers describing teaching experiments based on other tool-equipped formal methods that are used in industry and that help in adopting formal methods in curricula.
We anticipate a rich exchange of experiments on teaching formal method, in particular the B method. We would like to cover various works going from the elaboration of courses till the teachning materials and the evaluation of students and teachers themselves. Previous invited speakers are J-R. Abrial (2008), M. Leuschel (2009).

The "Journées Scientifiques" Web URL is
The "blog" Web URL is

online registration / enregistrement en ligne

TFM-B'2010 Programme


The topics of interest for TFM B'2010 include but are not limited to:

Papers must be written in English and must not exceed 15 pages. LNCS-style templates are available.
Papers must be submitted by 7 of April 2010 by email with an abstract in plain text and the paper itself as a PDF attachment, to with the subject "TFM_B Submission".
All accepted papers should be presented during the 1-day workshop.

Important dates

Paper submission deadline

13th March  2010 ** deadline extended (April 7, 2010) **

Notification of acceptance/rejection

16 April 2010

Final version of accepted papers

08 May 1010

Workshop in Nantes, France

7 June 2010


Program Committee

Local Organization

Christian  ATTIOGBE, [Chair] LINA, University of Nantes, France
Dominique  MERY, [Chair] LORIA, Nancy, France

Rueda Camilo, Universidad Javeriana-Cali, Colombia,
Pierre.CASTERAN LABRI, Bordeaux France,
Lars-Henrik ERIKSSON Uppsala Universitet, Sweden
Marc FRAPPIER, Sherbrooke, Canada
Paul GIBSON TELECOM ParisSud, France
Marc GUYOMARD, University of Rennes, France
Thai Son HOANG ETH Zurich, Swizerland,
Jacques JULLIAND, University of Besançon, France
Arnaud.LANOIX, U. Nantes, France
Michael LEUSCHEL, University of Düsseldorf, Germany
Mike POPPLETON, University of Southampton, UK
Marie-Laure POTET IMAG, France,
Steve RIDDLE Newcastle U. UK,
Ken ROBINSON,  Univ. of New South Wales, Australia
Emil SEKERINSKI, McMaster University, Ontario, Canada
Marina. WALDEN Abo Akademi, Finland,

Coloss Team,
LINA, Université de Nantes


Local information here


Supported by: Association de Pilotage des Conférences B / B Conferences Steering Committee