The B Method: from Research to Teaching

Lina>>   16 June 2008   <<

Call for Papers [.pdf file]

In 2008 the University of Nantes will be holding an extensive series of no less than 22 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 16 June 2008.

The "Journées Scientifiques" Web URL is

The "blog" Web URL is

online registration / enregistrement en ligne


Topics of interest will include (but will not be restricted to):
Invited speaker : Jean-Raymond Abrial, ETHZ, Zürich, Suisse

Submissions (12-16 pages) should be uploaded on the submission site
(or sent by e-mail to if necessary)

At least one author of each accepted submission must register and present the paper at the workshop.

Important dates

SUBMISSION DATE     3 April 2008


Program Committee

Henri Habrias, Universite de Nantes, France [chair]
Rueda Camilo, Universidad Javeriana-Cali, Cali, Colombia
Steve Dunne, University of Teesside, UK
Lars-Henrik Eriksson, Uppsala Universitet, Sweden
Michael Leuschel, Heinrich-Heine-Universität Düsseldorf, Germany
Mike Poppleton, University of Southampton, UK
Dominique Mery, Loria, Nancy, France
Ken Robinson, University of New South Wales, Australia
Emil Sekerinski, McMaster University, Canada
Elena Troubitsyna, Abo Akademi University, Finland
Guy Vidal-Naquet, Supelec, Gif-sur Yvette, France
Istenes Zoltàn, Budapest, Hungaria

Local Organization

Pascal André, Christian Attiogbé,  Henri Habrias, LINA, Université de Nantes

Local information here

It is expected that revised copies of accepted papers will be published in
Electronic Notes in Theoretical Computer Science (ENTCS), Elsevier Science <>.
linkCustomised LaTeX files (

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