8:30-9:00 Welcome


9h00 – 10h00 : Conférence invitée / Invited Talk

Formal proofs of local computation systems, using Rodin and/or Coq

Pierre Castéran, Université de Bordeaux, LaBRI, FR

10h00 – 10h15 : Pause / Break


10h15 – 10h50 : Teaching Logic Proofs for Formal Aspects

David Cumbor, Bill Stoddart, Steve Dunne, University of Teesside, UK

10h50 – 11h25 : Using the B Method in Teaching Software Technology at Eötvös Lorànd University

Akos Fothi, Zoltan Istenès, Eötvös Lorànd University, HU


11h25- 11h40 Pause / Break


11h40 – 12h15 : New Features of Atelier B 4.0

Thierry Lecomte, ClearSy, Aix-en-Provence, FR


12h15-12h50 : B for Children

Mireille Samia, St. Thaddeus Research, GE


12h50 – 14h00 : Déjeuner / Lunch

Visite de stands / Visit of stands


14h00 – 15h00 : Conférence invitée / Invited Talk

Development of a Network Topology Discovery Algorithm

Jean-Raymond Abrial, Consultant, Marseille, FR

15h30 – 16h05 : The Teaching of Data Structures: a Balanced Presentation of Skew Heaps

Marc Guyomard, ENSSAT, Université de Rennes, FR

16h05-16h20 : Pause / Break


16h20 – 17h00 : Ten Years Disseminating the B Method,

Thierry Lecomte, ClearSy, Aix-en-Provence, FR