Programme

The B Formal Method : From Research to Teaching

Conference Programme

9:00-10:00
Jean-Raymond Abrial (ETH Zürich, Switzerland)
Invited Conference

10:00-10:15 Break

10:15-11:00
Leirios Test Generator: from Research to Teaching, through Industry, Frédéric Dadeau, Jacques Julliand, Regis Tissot (Université de Franche-Comté, Besançon, France)
11:00-11:45
Easy Graphical Animation and Formula Visualisation for Teaching B, Michaël Leuschel, Mireille Samia, Jens Bendisposto, Li Luo (Heinrich-Heine-Universität, Düsseldorf ,Germany)
11:45-12:30
Teaching programming methodology using Event B, Dominique Méry (Loria, Université de Nancy, France)
12:30-13:15
The Rodin platform, Mathieu Clabaut (Systerel, Aix-en-Provence, France), with the First Experience of a Second Year Student (Florian Bastien, IUT de Nantes, France)

13:15-14:00 Lunch

14:00-14:45
First Balance Sheeet of a Formal Approach to the Teaching of Data Structures, Marc Guyomard (ENSSAT, Lannion, France) , P. Alain, A. Hadjali, H. Jaudoin (Enssat/Irisa) G. Smits (Enssat)
14:45-15:30
Modelling Role-based Access Control in B, Steve Dunne, Anthony Howitt (University of Teesside, U.K.)

15:30-15:45
Break

15:45-16:30
On Teaching the Concept of Refinement with B, Guy Vidal-Naquet, Joanna Tomasik (SupElec, Gif-sur-Yvette, France)
16:30-17:15
A Cludeo Case Study, Bill Stoddart, Keerthi Rajendren, Simon Lynch (University of Teesside, U.K.)
17:15-18:00
Proof and Model-checking, Two Complementary Approaches to Teach Specifications, Henri Habrias (Université de Nantes, France)

18:30-19:30
Cocktail-Dîner

19:30
Spectacle