Conference : programme

8:30-9:00 Welcome

---

9:00-10:00 Invited Conference

Prof. Michael Leuschel, University of Düsseldorf details

---

10:00-10:15 Break

10:15-11:00 Latest News on AtelierB V4

Antoine Requet, ClearSy, France details

11:00-11:35 Sculpturing Event-B Models with Rodin: Holes and Lumps in Teaching Refinement through Problem-Based Learning

J. Paul Gibson, Eric Lallet, Jean-Luc Raffy, Telecom& Management SudParis, France

---

11:35-11:50 Break

11:50-12:25 Teaching the B Method at Oxford Brookes

D. Lightfoot, C. Martin, Oxford Brookes University, UK

12:25-13:00 Twelve Years of B Teaching in an Engineer School : from a Correct by Design Approach to Analysis Techniques and Tools

M-L. Pottet, Verimag Grenoble, France

---

13:00-14:00 Lunch

14:00-14:35 High-Level versus Low-Level Specifications: Comparing B with Promela and ProB with Spin

Mireille Samia, Harald Wiegard, Jens Bendisposto, Michael Leuschel, University of Düsseldorf, DE

14:35-15:10 BiCoax, a Proof Tool Traceable to the BBook

Samuel Colin, George Mariano, INRETS, France

---

15:10-16:15 Break - Demos

16:15-16:50 Constructing a Formal Event Model of Linux File System Access Permissions: A Research-Based Teaching Approach

David Cumbor, Bill Stoddard, University of Teesside, UK

16:50-17:25 How to make mistakes?

Stefan Hallerstede, University of Düsseldorf, DE

17:25-18:00 To structure, Realize and Prove: How and Why

Alain Couturier(1), Michel Gazeau(1), Gérald Jean-Baptiste(1), Gwenola Kerglonou(2), (1) CNAM Pays-Loire and (2) ICAM Nantes, France