Course on B

http://www.lina.sciences.univ-nantes.fr/coloss/members/habrias/coursb/cassettesjra.html

BNF, Bibliothèque Nationale de France :
http://catalogue.bnf.fr/servlet/ObtenirUC?idNoeud=1.1&ID=38314325&Regroupement=3&Ordre=1&host=catalogue

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