Monday, February 1, 2010

3rd International Conference From Research to Teaching Formal Methods: The B Method (TFM-B'10)

First Call for papers
3rd International Conference
From Research to Teaching Formal Methods:
The B Method (TFM-B'10)
June 7, 2010,  Nantes, France
http://www.lina.univ-nantes.fr/apcb
------------------------------------------------
Invited Speaker:
Pierre Castéran / On Coq and B / 
LaBRI, U. Bordeaux
------------------------------------------------------
Overview: We anticipate a rich exchange of experiments
on research and teaching Formal Methods, in particular
the B method.
We would like to cover various works going from
the elaboration of courses till the teaching materials
and the evaluation of students and teachers 
themselves.

------------------------------------------------------
TOPICS: 
The topics of interest for TFM-B'2010 include but
are not limited to:
- Experiences with formal methods teaching using B
- Teaching materials for the B method
- Case studies and exercises featuring the B method
- The B method in the software engineering curriculum
- Use of the B method in disciplines other 
than software engineering
- New advances in the B method and their incorporation
into the teaching 
curriculum
- Tool supports for software engineering with the B method
- Teaching tool-equipped formal methods
- Teaching environments for model-based formal methods
- Combining the B method with other approaches
- Comparative studies on teaching formal methods
 . . .

------------------------------------------------------------------------------------
Important Dates:
Paper submission deadline            March 13, 2010
Notification of acceptance/rejection April 16, 2010
Final version of accepted papers     May   8,  2010
Workshop in Nantes, France           June  7,  2010
Proceedings with ISBN

-------------------------------------------------------------------------------------
Workshop Chairs:  Christian ATTIOGBÉ, 
Dominique MERY

Local Organization: COLOSS Team www.lina.univ-nantes.fr
LINA,  UMR CNRS 6241,  University of Nantes

Contact: bdays)@(univ-nantes.fr
http://www.lina.univ-nantes.fr/apcb