Localisation

Adresses

Aix-Marseille Université
Institut de Mathématiques de Marseille (I2M) - UMR 7373
Site Saint-Charles : 3 place Victor Hugo, Case 19, 13331 Marseille Cedex 3
Site Luminy : Campus de Luminy - Case 907 - 13288 Marseille Cedex 9

Towards a Linear Logic Handbook

Workshop
CIRM, Luminy, Marseille
https://conferences.cirm-math.fr/2981.html

Date(s) : 06/12/2022 - 08/12/2022   iCal
0h00

WORKSHOP

Towards a Linear Logic Handbook
Groupe de travail pour un manuel de Logique Linéaire

6 – 8 December 2022

Organizer:
Lionel Vaux Auclair (I2M, Aix-marseille Université)

[su_spacer size= »10″]

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 produce a complete draft of the core chapter within the next months.
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 de produire un brouillon complet des principaux chapitres, au cours des prochains mois.

[su_spacer size= »10″]

Participants

Thomas EHRHARD CNRS IRIF, Université Paris Cité
Olivier LAURENT CNRS CNRS, LIP – ENS Lyon
Laurent REGNIER Aix-Marseille Université
Lionel VAUX AUCLAIR Aix-Marseille Université

[su_spacer size= »10″]

Emplacement
Luminy - CIRM

Catégories Pas de Catégories


Secured By miniOrange