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
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
10:00-10:15 Break
9:00-10:00 Invited Conference
Prof. Michael Leuschel, University of Düsseldorf details
10:00-10:15 Break
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
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
Samuel Colin, George Mariano, INRETS, France
15:10-16:15 Break - Demos
David Cumbor, Bill Stoddard, University of Teesside, UK
Stefan Hallerstede, University of Düsseldorf, DE
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.
Sunday, June 7, 2009
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
Wednesday, May 20, 2009
Monday, May 18, 2009
From the Airport/Train Station to the Cité des Congrès
The Cité des Congrès is very close to the Railway Station (Gare TGV, sortie Sud) (don't use a taxi or a public transportation). The Gare TGV sortie Sud is also the stop of the airport shuttle (navette aéroport TAN).
The City of Congress brings you the Cité pass ( City Pass) allowing access to the entire public transportation network of Nantes ( TAN) , including airport shuttles. The Cité Pass is valid only on Monday, June 16, 2008. If you wish to receive the Cité Pass please ask us before your arrival at Nantes.
From the airport Nantes Atlantique to Nantes
- the airport shuttle (tanair), Bus, 19 minutes
- a bus connected to the tramway (tan) :
- Bus n° 37, Direction Croix Jeannette, Arrêt (stop) Neustrie
- then Tram 3, direction Sillon de Bretagne, Arrêt (stop) Commerce. Here you will find a lot of buses and tramways
Tuesday, May 12, 2009
"Data Semantics"
Two pages of Data Semantics, J.R. Abrial, IFIP WC on Data Base Management, Cargèse, Corsica, France, 1-5 April 1974,
Proceedings edited by J.W. Klimbie and K.L. Koffeman, North-Holland
Subscribe to:
Posts (Atom)
