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