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:
- Daniel De Carvalho , The relational model is injective for Multiplicative Exponential Linear Logic
- Lorenzo Tortora de Falco and Luc Pellissier , Some remarks about connectedness, Taylor expansion and injective relational semantics
- Lionel Vaux , Looking at cut elimination through the lens of Taylor expansion
- Marco Solieri , Taylor-expansion, cut elimination and geometry of interaction
- Damiano Mazza , Proof Nets in Space
- Ugo Dal Lago , The Geometry of Synchronization
- Anna Chiara Lai, Marco Pedicini and Silvia Rognone , Quantum entanglement and the Bell Matrix: the encoding in QMLL
Dec. 22, 2015:
- Marc Bagnol , TBA
- , Representation of nets
- , Correctness criteria
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.
