New directions in computability theory

March 7-11, 2022, Luminy, France

Sugiton

Scope

Computability theory is one of the main branches of mathematical logic. It explores the computational content of mathematics. This theory was born in the beginning of the 20th century, as a way to answer the philosophical question of how to formally characterize the functions one can "compute", in an intuitive sense. Since then, the field has seen considerable progress and development, leading to what is today a very rich theory on the computational strength and content of various mathematical objects. It has also been successfully applied to other areas of mathematics, giving rise to several subfields within which most of today's research is concentrated. This conference aims to encompass the various applications of computability theory, with a particular emphasis on recent developments and new research directions.

Topics

Invited Speakers

Scientific Programme Committee

Organising Committee

Programme

The schedule is available here:
Schedule

Conference Picture

Conference
Excursion

List of Participants

Registration

Due to the limited amount of space, this is an invitation-only conference. The whole cost (full board) will be around 525€. Most of the participants will be fully supported.

Funding and Sponsoring

Venue

The conference takes place at the

Accommodation

The conference participants will be hosted at the CIRM full board.

Travelling

Full information are available here.

If you arrive at Marseille-Provence Airport (LFML)

Option 1: Taxi

If money is no object, then a direct taxi to Cirm is the easiest and most comfortable way. It takes about 55 mns on average. You need to budget between 80 to 100 EUR one way. Note that Cirm does not pay for any taxi fare and that some taxis may not have credit card facilities.

Option 2: Marseille airport shuttle bus and public transport

You can reach Cirm by public transport easily for under 15 EUR one way. It takes between 1 hour and 1.5 hours. You will first need to use a shuttle bus then the underground and finally a bus.

You first need to travel to Gare Saint-Charles Railway & Coach station.

You then need to travel from Gare Saint-Charles to the Campus of Luminy where Cirm is situated.

​ TAXI: From the railway station to Cirm you can choose to take a taxi to the Luminy campus (distance 11km, cost around 35 to 45 EUR according to the time of day). Note that Cirm does not pay for any taxi fares.

PUBLIC TRANSPORT: You can use the "Metro" (underground) line 2 then get on bus B1 or 21J. If you did not purchase a combined airport-city transport ticket, note that the cost of a single ticket covering both Metro and Bus is about 2€ from a machine in the underground or bought on the bus. You will need to have some change. You can also purchase a Marseille Pass (24-48-72 hours or buy a 10-journey pass for around 15 EUR).

A) Metro line 2 + Bus B1 or 21J OR

B) Metro line 2 + Bus 24 (less frequent) (*) Monday to Friday (6 am to 9 pm): Bus lines serve the heart of the Campus. The last stop (called 'Campus Luminy') is located directly in front of the entrance to Cirm's new building. Monday to Friday (before 6 am and after 9 pm), Saturday, Sunday, public holiday and summer: buses terminate at the entrance gate of the campus (Bus stop called 'Luminy PN des Calanques'). From there, it is a 6-minute walk to Cirm just up the main road. There are signs to direct you.

What to do if you arrive after 21:45 at Gare Saint-Charles

If you arrive after 21:45, the easiest is to catch Night bus number 521 directly from "Gare Saint Charles" (Railway station) all the way to the last stop "Luminy PN des Calanques" then walk to Cirm (6-minute walk just up the main road). If the main gate of the university entrance is shut, tell the person on duty that you are coming to Cirm and they will open the gate. You can normally enter the campus on foot at any time of day or night.

Further Information

For further information, please contact

© 2018-2021 Vasco Brattka