GDRI Linear Logic (GDRI-LL)

The GDRI LL is a French-Italian Groupement de Recherche International supported by CNRS and INDAM, whose purpose is to gather researchers interested in the connections between Linear Logic and various topics such as

  • theory of programming languages
  • implicit complexity
  • parallelism and concurrency
  • games and languages
  • proof theory
  • philosophy
  • categories and algebra
  • possible connections with combinatorics
  • linguistics
  • functional analysis and operator algebras

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

Program:

December 21, Monday

  • 11:00-11:15 Ouverture
  • 11:15-12:00 Daniel De Carvalho “The relational model is injective for Multiplicative Exponential Linear Logic”
  • 12:00-12:30 Lorenzo Tortora de Falco/Luc Pellissier “Some remarks about connectedness, Taylor expansion and injective relational semantics”

12:30-14:00 lunch

  • 14:00-14:45 Lionel Vaux “Looking at cut elimination through the lens of Taylor expansion”
  • 14:45-15:15 Marco Solieri “Taylor-expansion, cut elimination and geometry of interaction”
  • 15:15-16:00 Damiano Mazza “Proof Nets in Space”

16:00-16:15 coffee break

  • 16:15-16:45 Ugo Dal Lago “The Geometry of Synchronization”
  • 16:45-17:15 Anna Chiara Lai, Marco Pedicini, Silvia Rognone “Quantum entanglement and the Bell Matrix: the encoding in QMLL”

December 22, Tuesday

  • 9:15-10:00 Marc Bagnol TBA
  • 10:00-10:30 coffee break
  • 10:30-12:30 open session “Representation of nets”: talks and micro-talks by Giulio Guerrieri/Lorenzo Tortora de Falco, Luc Pellissier, Thomas Ehrhard, Beniamino Accattoli, Vito Michele Abrusci.

12:30-14:30 lunch

  • 14:30-17:00 open session “Correctness criteria”: talks and micro-talks by Roberto Maieli, Vito Michele Abrusci, Beniamino Accattoli, Marc Bagnol, Thomas Ehrhard.

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.

First general meeting: Bologna February 1st - 3rd, 2016

The first general meeting of the GDRI-LL will take place in Bologna, from Ferbruary 1st to February 3rd, 2016.

The meeting will start on Feb 1st at around 9AM and end on Feb 3rd at around 3PM.

You are all kindly invited to take part to this meeting. If you intend to come, please fill in the form before December 15th.

Concerning the scientific programme, your propositions of talk are welcome. Please send a title, an abstract, as well as your preference between a 30mn or 45mn talk, before December 15th, using the same form.

Location

The meeting will take place in the Aula Ercolani 1, Mura Anteo Zamboni 2B, Bologna.

Here is a Streetview link.

Programme

Here is a provisional version of the programme::

Monday: 7 talks

  • 9:00 - 10:00: Jean-Yves Girard (CNRS) “Thirty years later”
  • 10:15 - 10:45: Ugo Dal Lago (Università di Bologna) “Infinitary Lambda Calculi from a Linear Perspective”
  • break
  • 11:15-11:45: Michele Pagani (Université Paris 7) “Algebraic Abstract Rewriting Systems”
  • 12:00 - 12:30: Marco Pedicini (Università Roma Tre) “Abstract Machines, Optimal Reduction, and Streams”
  • lunch
  • 14:30-15:15: Lionel Vaux (Université Aix-Marseille) “Normalisation and Taylor expansion in a non uniform setting”
  • 15:30-16:00: Luca Paolini (Università di Torino) “Recursion Theory and Reversible Computing”
  • Coffee break
  • 16:30-17:00: Flavien Breuvart, TBA
  • Free discussions

Tuesday: 6 talks

  • 9:30-10:00: Dale Miller (with Chuck Liang) “On Subexponentials, Synthetic Connectives, and Multi-Level Delimited Control”
  • 10:15-10:45: Simona Ronchi Della Rocca (Università di Torino) “Intersection types”
  • break
  • 11:15-11:45: Delia Kesner (Université Paris 7) “Completeness of Call-by-Need – A fresh view –”
  • 12:00-12:30: Lorenzo Tortora de Falco (Università Roma Tre) “Proof-NETS and (Intersection) Types”
  • lunch
  • 14:00-14:45: Damiano Mazza (CNRS-Université Paris 13) “A Parsimonious Meeting of Church with Cook and Levin”
  • 15:00-15:30: Charles Grellois “Semantics of linear logic and higher-order model-checking“
  • Coffee break
  • 16:30-18:30: meeting
  • Social dinner

Wednesday: 4 talks

  • 9:00-9:45: Olivier Laurent (CNRS-ENS Lyon) “Focusing in Orthologic”
  • 10:00-10:30: Godfroy Hubert “linear logic for staged computation”
  • break
  • 11:00-11:30: Valeria Vignudelli “Environmental Bisimulations for Probabilistic Higher-Order Languages”
  • 11:45-12:30: Thomas Ehrhard (CNRS-Université Paris 7) “On call-by-push-value and linear logic”
  • lunch

Participants

Thomas Ehrhard, Lorenzo Tortora de Falco, Damiano Mazza, Jean-Yves Girard, Michele Pagani, Claudia Faggian, Simone Martini, Ugo Dal Lago, Giulio Manzonetto, Luca Roversi, Maria Emilia Maietti, Mario Piazza, Charles Grellois, Jean-Baptiste Joinet, Godfroy Hubert, Hamdaoui Yann, Francesco Gavazzo, Simona Ronchi Della Rocca, Pierre-Louis Curien, Luca Paolini, Emmanuel Beffara, Antonio Bucciarelli, Davide Sangiorgi, Valeria Vignudelli, Delia Kesner, Beniamino Accattoli, Stefano Guerrini, Dale Miller, Pietro Di Gianantonio, Giulio Guerrieri, Marco Solieri, Sylvain Salvati, Flavien Breuvart, Andrea Mazzullo, Tiziano Dalmonte, Luc Pellissier, Antonino Salibra, Olivier Laurent, Lionel Vaux, Marco Pedicini, Michele Abrusci, Roberto Maieli, Alexis Saurin, Antoine Allioux.

Intersection Types and Denotational Semantics: Paris, June 2016

More information soon…