From Research to Teaching Formal Methods - The B Method
TFM B'2009

Lina >>   8 June 2009   <<

Call for Papers [.pdf file]
In 2009 the University of Nantes will be holding an extensive series of no less than 21 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 1250 participants altogether. Within such a context the above one-day conference on the B Method will be held on 8 June 2009.
The first B conference took place in Nantes during November 1996 and was followed by the Montpellier, York, Grenoble, Turku, Guilford and Besancon, and London (2008) Conferences. During the conferences of Montpellier and Grenoble, education sessions were held with published proceedings. The APBC 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 meeting dedicated to teaching.
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. In this 2009 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 tparticular 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.
The "Journées Scientifiques" Web URL is
The "blog" Web URL is
online registration / enregistrement en ligne


The topics of interest for TFM B'2009 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 20 March 2009 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 20th March  2009
Notification of acceptance/rejection 24 April 2009
Final version of accepted papers 8 Mai 2009
Workshop in Nantes, France 8 June 2009


Program Committee

Local Organization

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

Steve DUNNE,  University of Teesside, UK
Rueda Camilo, Universidad Javeriana-Cali, Colombia
Lars-Henrik ERIKSSON Uppsala Universitet, Sweden
Marc FRAPPIER, Sherbrooke, Canada
Marc GUYOMARD, University of Rennes, France
Jacques JULLIAND, University of Besançon, France
Michael LEUSCHEL, University of Düsseldorf, Germany
Mike POPPLETON, University of Southampton, UK
Ken ROBINSON,  Univ. of New South Wales, Australia
Emil SEKERINSKI, McMaster University, Ontario, Canada
Elena TROUBITSYNA,  Abo Akademi University, Finland
Coloss Team,
LINA, Université de Nantes


Local information here

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