The B Method: from Research to Teaching

The B Method: from Research to Teaching
16 June 2008
Nantes
France

Call for Papers

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 "Cite International
des Congress" 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.

Topics of interest will include
(but will not be restricted to):

* Tool support for software engineering with the B method,

* Teaching environments for the B method,

* The B method in the software engineering
curriculum,

* Combining the B method with other approaches,

* Case studies and exercises featuring
the B method,

* Use of the B method in disciplines other
than software engineering,

* New advances in the B method and their
incorporation into the
teaching curriculum.

SUBMISSION DATE
3 April 2008

NOTIFICATION DATE
1 May 2008

Program Committee
-----------------
Henri Habrias, Universite de Nantes, France [chair]
Rueda Camilo, Universidad Javeriana-Cali,
 Cali, Colombia
Steve Dunne, University of Teesside, UK
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, Åbo Akademi University,
 Finland
Mark Utting, University of Waïkato,
 New Zealand
Guy Vidal-Naquet, Supelec, Gif-sur Yvette,
 France
Istenes Zoltán, Budapest, Hungaria



LOCAL ORGANIZATION
Christian Attiogbé, Pascal André,
Gilles Ardourel, Henri Habrias

It is expected that revised copies of
accepted papers will be published in
Electronic Notes in Theoretical Computer Science
(ENTCS), Elsevier Science
<http://www.entcs.org>.