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, University of Dusseldorf, 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
No comments:
Post a Comment