Workgroup on a LL handbook, May 31, 2018 – June 1, 2018
First working session on the Linear Logic (Hand)book GDRI-LL project (at IRIF, Paris 7).
Objectives:
- to discuss the precise nature of the book (lecture notes, handbook...),
- to determine its precise scientific spectrum,
- and to define a working method and a timetable.
We will split the discussion in slots, with coffee breaks:
- Thu 14:00 - 15:45, coffee break, 16:15 - 18:00
- Fri 9:00 - 10:30, coffee break, 10:45 - 12:15, lunch break, 13:45 - 15:45 coffee break 16:15 - 18:00 end
Participants :
- Michele Abrusci
- Matteo Acclavio
- Jules Chouquet
- Ugo Dal Lago (visio)
- Thomas Ehrhard
- Claudia Faggian
- Giulio Guerrieri
- Stefano Guerrini
- Jean-Baptiste Joinet
- Olivier Laurent
- Roberto Maieli (visio)
- Damiano Mazza
- Paul-André Melliès
- Michele Pagani
- Paolo Pistone
- Laurent Regnier
- Luca Roversi
- Alexis Saurin
- Christine Tasson
- Lorenzo Tortora de Falco
- Lionel Vaux