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

For the authors

For information :

To prepare your paper, go on the web pages:
www.lina.sciences.univ-nantes.fr/apcb/BDayNantes2008/
You will find this :
Customised LaTeX files (entcsBdays.zip)


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:
http://www.sciences.univ-nantes.fr/geol/SuperEarths2008/
New European public partnerships in drug discovery:
http://www.pharmacie.univ-nantes.fr/1207130334892/0/fiche___actualite/
Workshop on Software Factories and Software Product Lines:
http://www.emn.fr/x-info/jsample/change-lang-EN.php

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.

HERE

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

HERE
you will find :

• timetable
• map
• stops
  

Wifi

Dear colleague,

You will find in the conference room (room D):
- a videoprojector -
and
- 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

IBAN :

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

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

Domiciliation
TRESOR PUBLIC Nantes
TRESORERIE GENERALE

BIC : Bank Identifier Code
BDFEFRPPXXX

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

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

"Specification or how to make Abstraction Real"
Jean-Raymond Abrial, 1984
TSI
0752-4072/84/03/201-19
AFCET-Bordas

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
Shubertiade

A CD published by Mirare

Pictures of Nantes

Anne de Bretagne, Anne of Britanny

Anne de Bretagne

Anne of Britanny

Bienvenue à Nantes

Programme du spectacle (private)

programme :

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

20h30

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)

Programme

The B Formal Method : From Research to Teaching

Conference Programme

9:00-10:00
Jean-Raymond Abrial (ETH Zürich, Switzerland)
Invited Conference

10:00-10:15 Break

10:15-11:00
Leirios Test Generator: from Research to Teaching, through Industry, Frédéric Dadeau, Jacques Julliand, Regis Tissot (Université de Franche-Comté, Besançon, France)
11:00-11:45
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)
11:45-12:30
Teaching programming methodology using Event B, Dominique Méry (Loria, Université de Nancy, France)
12:30-13:15
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

14:00-14:45
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)
14:45-15:30
Modelling Role-based Access Control in B, Steve Dunne, Anthony Howitt (University of Teesside, U.K.)

15:30-15:45
Break

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

18:30-19:30
Cocktail-Dîner

19:30
Spectacle

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.

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

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

Here

Here

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
  

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

HERE

Flights to and from Nantes

HERE

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] univ-nantes.fr

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

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.