The B Method Conference:
29 persons attend the conference, among which
Student speaker: 1
Countries of the authors (without France):
U.K.: 2 S
1 invited talk is given on the main features of Event B, some examples, and some feedbacks on teaching
8 papers was presented, they cover a wide range of teaching aspects of B: from data structures, visualisations of predicates, tests, developement of specific algorithms and case studies, links with co-algebra, etc
1 presentation is devoted to the Rodin Project and Framework
1 stand was devoted to the Systerel Company, for demos on Rodin
* The best talk selection: Henri Habrias had 8 votes
Frédéric Dadeau and Dominique Mery had 4 votes each.
The papers will be available on the conference site; P
lease send us your slides, to make them available on the conference web site.
* The participating colleagues and friends grab this opportunity to thank Professor Henri Habrias for his efforts for the animation of the B community and his forthcoming retirement ** Many Thanks to you all, for your friendship, Henri