Tuesday, June 9, 2009

Conférence grand public : le réchauffement climatique

Vincent Courtillot, J.M. Salles, J. Girardeau et le présentateur.
Le discours opposé à celui de Vincent Courtillot se trouve par exemple ici
Une pétition citée par V. Courtillot est ici

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

Conference June 8-2009

The invited conference of Prof. Michael Leuschel, University of Düsseldorf, and the conference of J. Paul Gibson.
The public of the conference.



Friday, June 5, 2009

Royal de Luxe. The giants are in the city ! Programme

More pictures HERE





Vendredi 5 juin : La petite géante devrait se réveiller vers 11h place Viarme et le scaphandrier géant devrait émerger du bassin Saint-Félix vers 13h30 au niveau du pont Tbilissi. Ils parcourront ensuite les rues de Nantes le vendredi après-midi (chacun de leur côté ou ensemble ?) : le scaphandrier devrait atteindre la place de la petite Hollande vers 15h avant de se reposer. Le spectacle reprendra ensuite vers 19h.

Samedi 6 juin : Un réveil est prévu samedi 6 juin à partir de 10 h au niveau du château (à proximité des loups en liberté dans les douves).

Dimanche 7 juin : Ils embarqueront à bord d’un chaland vers 11h à proximité du pont Anne de Bretagne (et donc du grand éléphant :-). Le bel équipage naviguera en direction de Saint-Nazaire via Indre, Couëron, Le Pellerin, Frossay et Paimboeuf. L’arrivée à St-Nazaire est prévue vers 17 h et la fin du spectacle, en début de soirée vers 20h/20h30.


Photos taken this morning (5-06-2009, 11h 30)

Tuesday, June 2, 2009