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
No comments:
Post a Comment