New trends in linear logic proof-nets, Dec. 21, 2015 – Dec. 22, 2015

Location: Università Roma Tre, Dipartimento di Matematica (Largo San Leonardo Murialdo, 1 - 00146 Roma), Room 311 (3rd floor)

Talks

Dec. 21, 2015:

Dec. 22, 2015:

Informations pratiques

Comment arriver au Dipartimento di Matematica de l'Universita Roma Tre (Largo San Leonardo Murialdo, 1 - 00146 Roma) depuis l'aéroport Rome Fiumicino ?

À l'aéroport Rome Fiumicino il y a une gare ferroviaire. Tous les 15 minutes il y a un train (appelé FL1, 8 euros) en direction de Roma Tiburtina-Fara Sabina-Orte : prenez-le et descendez à la gare Roma Ostiense (cela prendra environ 30 minutes).

Attention ! À la gare de l'aéroport Rome Fiumicino il y a un autre train en direction de Rome, le "Leonardo Express" : il est plus chère (14 euros) et il ne s'arrête pas à la gare Rome Ostiense.

À la gare Roma Ostiense vous avez deux possibilités :

Si vous ne voulez pas marcher et si vous avez confiance en les bus de Rome, vous devez aller a pied (550 m) à l’arrêt du bus "Via Ostiense - Mercati Generali" qui se trouve sur la via Ostiense et prendre le bus 23 en direction de "Pincherle-Parravano". Vous descendez au terminus qui se trouve exactement à Largo San Leonardo Murialdo. Voici un plan de votre parcours (à pied et sur le bus).

Si vous êtes disponibles pour marcher et vous n'avez pas confiance en les bus de Rome, vous devez prendre le passage souterrain que de la gare Roma Ostiense vous amène à l’arrêt du métro "Piramide" (le métro est indiqué par une grande M sur fond rouge). Vous prenez le métro ligne B en direction de "Laurentina". Descendez à l'arrêt "Marconi". Il vous reste un parcours à pied d'environ 15 minutes (1,4 km), qui est détaillé ici.

Une fois que vous êtes arrivés à Largo San Leonardo Murialdo, voici le portail pour entrer dans le Dipartimento di Matematica de l'Universita Roma Tre : photo.