[ecoop-info] [The B days] Call for papers

[Pascal ANDRE]

Please distribute
[Apologize if you receive multiple copies]
-----------------------------------------------
The B Method: from Research to Teaching

   >>   16 June 2008   <<
Nantes France

http://www.lina.sciences.univ-nantes.fr/apcb/BDayNantes2008/

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
    http://www.univ-nantes.fr/js2008

Topics
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.

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 henri.habrias at univ-nantes.fr 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

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
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, Åbo Akademi University, Finland
Guy Vidal-Naquet, Supelec, Gif-sur Yvette, France
Istenes Zoltán, Budapest, Hungaria

Local Organization
Pascal André, Chrisitian Attiogbé,  Henri Habrias, LINA, Université de
Nantes

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>.

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