Workshop
CIRM, Luminy, Marseille
https://conferences.cirm-math.fr/3236.html
Date(s) : 25/10/2023 - 27/10/2023 iCal
0 h 00 min
WORKSHOP
Towards a Linear Logic Handbook
Groupe de travail pour un manuel de Logique Linéaire
25 – 27 October 2022
Organizer:
Lionel Vaux Auclair (I2M, Aix-marseille Université)
Lionel Vaux Auclair (I2M, Aix-marseille Université)
Description
This meeting will gather a small group of researchers among the Linear Logic International Research Network, involved in a project to write a Handbook of Linear Logic.
The purpose of the meeting is to coordinate the efforts within this project, in order to advance the current state of the book. |
Cette rencontre réunira un petit groupe de chercheurs de l’IRN de Logique Linéaire, impliqués dans le projet de rédaction d’un manuel de Logique Linéaire.
Le but de la rencontre est de coordonner les efforts au sein du projet, dans le but d’avancer l’état courant du livre. |
Participants
Thomas Ehrhard (IRIF, Université Paris Cité)
Olivier Laurent (LIP – ENS Lyon)
Laurent Regnier (Aix-Marseille Université)
Alexis Saurin (IRIF, Université Paris Cité)
Lorenzo Tortora de Falco (University of Roma 3)
Lionel Vaux Auclair (Aix-Marseille Université)
Emplacement
CIRM, Luminy
Catégories