Continuity, Computability, Constructivity -
From Logic to Algorithms (CCC 2017)

Loria, Nancy (France), 26-30 June 2017

All talks take place in the computer science lab LORIA-Inria in Nancy, room A008 (in front of the "accueil").

Reaching Nancy

To come to Nancy, please follow the instructions available here. If you are taking the train, it is important to read the following information. The French train company SNCF has two tickets systems:

e-billet: this is an electronic train ticket, that you can present to the controllers either on your phone or printed by you on ordinary paper. It has a flashcode on it.
ordinary ticket: you can collect it at a desk or a yellow or white machine in train stations, using the 6 letters code sent to you when you purchased the ticket. Then you have to stamp it at small yellow machines.

So check whether your ticket is electronic or ordinary. If it is an ordinary ticket, then you must collect it at the station (a printed email won't be accepted by the controllers) and you must stamp it. If you are taking the shuttle between Lorraine TGV and Nancy, you might have an ordinary ticket for it, that you can collect at Lorraine TGV station. In case you have doubts, please contact us at mathieu.hoyrup@inria.fr.

Reaching the LORIA-Inria lab

If your hotel is downtown then there are mainly two ways to reach the LORIA-Inria lab:

Take the tram (also called line 1), direction Vandoeuvre CHU Brabois, and get out at Callot station. Then walk for 10 minutes to the lab. Trams are very frequent (every 5 minutes during working hours) and are working until around 11pm. Here is a map and time tables.
Take the bus line 8, direction Vandoeuvre CHU, and get out at station Grande Corvée. The lab entrance is at 30 meters. Busses are less frequent (every 20 minutes during working hours) and are working until around 8pm. Here is a map and time tables.

The tickets are the same for the tram and the bus. You can buy tickets at the machines at the tram stations, in many "Tabac presse" (shops sending tobacco or newspaper) or in "Agence Stan" in the train station. You can buy a Pass 10 which contains 10 trips for 9,40 euros, or a single Pass 1 for 1,30 euros (1,50 euros if you buy it in the bus). Machines accept coins and credit cards.

You can find a map below.

Accomodation

We advise you to take a hotel downtown (roughly between the train station and place Stanislas), where you can find most of the interesting places and restaurants. You can then easily reach the lab by taking the tram (15 minutes) and then walk for 10 minutes.

Restaurants

Some restaurant suggestions in Nancy can be found here.

Map

Here is a map showing the lab, the tram, the bus and a few hotel suggestions:

Continuity, Computability, Constructivity -From Logic to Algorithms (CCC 2017)