Monday, January 28, 2008

Teaching Formal Methods

FORMED 2008 , Budapest

Here

Nantes

Links to the B Method

Call for papers

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 "Cite Internationale des Congres" 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 "Journees 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, Zurich, Suisse

Submissions (12-16 pages) should be uploaded on the submission site (or sent by e-mail to henri.habrias@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

Local Organization

Pascal Andre, Chrisitian Attiogbe, Gilles Ardourel, Henri Habrias, LINA, Universite de Nantes

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

Supported by:

Association de Pilotage des Conferences B

B Conferences Steering Committee