Saturday, May 31, 2008

From the airport Nantes Atlantique to Nantes

You can use (with the cité pass) :

  • 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

Thursday, May 29, 2008

For the authors

For information :

To prepare your paper, go on the web pages:
You will find this :
linkCustomised LaTeX files (

To reference your paper:

Proceedings publiés par APCB
published by APCB, juin 2008
C. Attiogbé, H. Habrias (Eds)
ISBN 2-9512461-2-9
EAN 9782951246126

Best Regards, Meilleures salutations

Hotels in Nantes

Here is a list of hotels that we prepared for the Ecoop conference of 2006. The prices are not up-todate.

Some other conferences of the Journées Scientifiques de l'Université de Nantes

Extra Solar Super-Earths International Workshop:
New European public partnerships in drug discovery:
Workshop on Software Factories and Software Product Lines:

With your cité pass, you can travel on the river Loire and on the river Erdre (free)

Avec Navibus, trois lignes sont à votre disposition pour voyager... sur l'eau ! Une façon originale et rapide de voyager sur l'Erdre mais également de se déplacer entre le Nord et le Sud de la Loire sans passer par Commerce.


With Navibus, three lines are available for travel ... on the water! An original and rapid travel on the Erdre but also to travel between North and South of the Loire without going through Commerce.

Use your Cité Pass !

L'Erdre, la plus belle rivière de France !
La Loire, le dernier fleuve sauvage d'Europe !

Airport shuttle : Tan air, from the airport to Cité Internationale des Congrès

you will find :
  • timetable
  • map
  • stops

Wednesday, May 28, 2008


Dear colleague,

You will find in the conference room (room D):
- a videoprojector -
- a computer

A good idea : your presentation in a PDF file.

For wifi in the Cité des Congrès, it will be possible to pay a connexion to Orange for one hour or more.

In the IUT of Nantes (near the cathedral), wifi will be free.

You will have special account. You can use public transportation (but walking is very convenient) :

- Cité des Congrès : Busway line 4,
stop Place Foch (the population of Nantes call this place : Place Louis XVI)
and then
you have 5 minutes walk
or bus 21 (Direction Peray) or
bus 23 (direction Peray or Haluchère), stop Chanzy.

Don't forget your City Pass !

Best Regards

Henri Habrias

Le Lieu Unique (L.U.)

Close to the Cité Internationale des Congrès of Nantes

Web site here

Payment by Bank Transfert


Code Banque (Bank code) :
Code Guichet :
Numéro de compte (Account number) :
000 01 000264
Clef (Key) :

International Account Number
FR76 1007 1440 0000 0010 0026 446 

Account owner :
Université de Nantes
Agent comptable
1 Quai de Tourville
BP 13522
44035 NANTES Cedex 01


BIC : Bank Identifier Code

If you want a copy of the PDF IBAN, please send me an e-mail :
henri dot habrias at univ-nantes dot fr

Tuesday, May 27, 2008

"Spécifier ou comment matérialiser l'abstrait"

"Specification or how to make Abstraction Real"
Jean-Raymond Abrial, 1984

Illustration with an example.

To read the paper

For people interested into the genesis of B

For the participants: un souvenir musical

Folle Journée
on wikipedia

A CD published by Mirare

Friday, May 23, 2008

Programme du spectacle (private)

programme :

cocktail dînatoire* animé par le Big Band de l'Université de Nantes


spectacle musical *(ouverture des portes à 20h15) avec au
programme :

- 1re partie :

« Swing & Song, Voyage entre Choeur et Chorus » par
Black Street & Babel Canto (musiques et chants du monde + groupe de jazz)

- 2nde partie :

Esquisse 5 (musique bretonne et cubaine)

Thursday, May 22, 2008


The B Formal Method : From Research to Teaching

Conference Programme

Jean-Raymond Abrial (ETH Zürich, Switzerland)
Invited Conference

10:00-10:15 Break

Leirios Test Generator: from Research to Teaching, through Industry, Frédéric Dadeau, Jacques Julliand, Regis Tissot (Université de Franche-Comté, Besançon, France)
Easy Graphical Animation and Formula Visualisation for Teaching B, Michaël Leuschel, Mireille Samia, Jens Bendisposto, Li Luo (Heinrich-Heine-Universität, Düsseldorf ,Germany)
Teaching programming methodology using Event B, Dominique Méry (Loria, Université de Nancy, France)
The Rodin platform, Mathieu Clabaut (Systerel, Aix-en-Provence, France), with the First Experience of a Second Year Student (Florian Bastien, IUT de Nantes, France)

13:15-14:00 Lunch

First Balance Sheeet of a Formal Approach to the Teaching of Data Structures, Marc Guyomard (ENSSAT, Lannion, France) , P. Alain, A. Hadjali, H. Jaudoin (Enssat/Irisa) G. Smits (Enssat)
Modelling Role-based Access Control in B, Steve Dunne, Anthony Howitt (University of Teesside, U.K.)


On Teaching the Concept of Refinement with B, Guy Vidal-Naquet, Joanna Tomasik (SupElec, Gif-sur-Yvette, France)
A Cludeo Case Study, Bill Stoddart, Keerthi Rajendren, Simon Lynch (University of Teesside, U.K.)
Proof and Model-checking, Two Complementary Approaches to Teach Specifications, Henri Habrias (Université de Nantes, France)



New Registrations

  • Zoltan Istenes, Budapest, Hungary
  • Joanna Tomasik, Supelec, Gyf , France
The number of places being limited for safety reasons, today 5 registrations only are possible.

Tuesday, May 20, 2008

Free access to the public transportation network

The Pass’Cité card
To feel free in Nantes!

Take advantage of the last innovation in services suggested by Nantes International Convention Centre : the Pass’Cité Card.
Our Pass’cité* programm provides the participant of an event with special services which makes their transfert pleasant during their stay in Nantes, furthering non-polluant public transport use.
ð free access to the public transportation network
of the city.
ð free hire for bicycles or electrical bicycles
at the Nantes International Convention Centre.

Thanks to the Pass’Cité card, your participants, exhibitors, partners will be able to use public transportation freely from the day before to the last day of the event without buying any ticket :
- on the outstanding network of buses , tramways and BusWays (new in 2006) that runs straight to the Nantes International Convention Centre.
- the closeness of the Nantes International Convention Centre to the city centre.
- on the Nantes-Atlantique Airport shuttle.

Free hire of bikes and Elecrical Bikes
Your participants can borrow for free bicycles and electrical bicycles at the main entrance.For more confort and safety, the hostess will provide helmets an lockers.

* In parnership with Nantes Métropole within the scope of the city transportation system.

You can use your pass on June 15 and June 16. Send us a message to receive your pass by snail-mail. Don't forget to give your postal address !

henri dot habrias at univ-nantes dot fr

Monday, May 19, 2008

From the Railway Station (Gare TGV) to La Cité des Congrès

  1. Sortie SUD (South) (signs in the Railway Station, Signs indicating the Cité des Congrès)

  2. When outside the Railway Station, turn right (Quai Malakof). The stop of the airport shuttle (Tan Air) is very close the rundabout.

  3. You pass on a river (River Erdre). On your left you see boats

  4. Immediately you turn left (Quai Ferdinand Favre)

  5. On your right you see the Hammam and the L.U. (Lieu Unique)

  6. The fourth street on your right is the street of La Cité Internationale des Congrès

Pictures of Nantes



New registrations

  • Chris Sempagala, Uganda Christian University, Kampala, Uganda
  • Alain Nolin, INSEE, Paris, France
  • Thierry Servat, Clearsy, Aix en Provence, France
  • Antoine Requet, Clearsy, Aix en Provence, France

Wednesday, May 14, 2008

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.

Public Transportations in Pays de la Loire


Flights to and from Nantes


Paiement par Bon de Commande Administratif (French Public Administration)

Paiement par bon de commande (french only)
Organisme : LINA (UMR 6241)
Faculté des sciences et des techniques
2 rue de la Houssinière
BP 92208 F
4322 Nantes cedex 03
No indentification M.E.N. : 044 0984 F
No TVA intra communautaire : FR 66 194 409 843
No SIREN : 194 409 843
No SIRET : 194 409 843 00019
Code APE : 803 Z
No compte TG : 10071 44000 00001000264 46

No de déclaration d'existence en tant qu'organisame formateur : 5244 p 000 544

Envoyer le bon de commande par email à Henri Habrias à Henri.Habrias [at]

Tuesday, May 13, 2008

Last registered participants

  • Jean Contensou, National Institute of Statistics, Paris, France
  • Shin Nakajima, National Institute of Informatics, Tokyo, Japan
  • Jean-Yves Lafaye, Université de La Rochelle, La Rochelle, France

Tuesday, May 6, 2008

For you the Cité Pass

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.

City Pass for participants registered before May 12.

With your registration to the conference

the diner-cocktail and the spectacle are free for you and your travelling companion.
But registration for these two activities is mandatory.