Attended events
Trends in Proof Theory of Linear Logic (TiPToLL 2024)
Università degli Studi Roma Tre
[19/12/2024 - 20/12/2024]
Address:
Lungotevere Dante 476
00146 Roma
Italy
XXVIII Incontro di Logica AILA
Università degli Studi di Udine
[03/09/2024 - 06/09/2024]
Address:
Via Gemona 92
33100 Udine
Italy
8th International Workshop on Trends in Linear Logic and Applications (TLLA 2024)
Tallinna Ülikool
[08/07/2024 - 09/07/2024]
Address:
Narva mnt 29
10120 Tallinn
Estonia
Differential λ-Calculus and Differential Linear Logic, 20 Years Later
Centre International de Rencontres Mathématiques (CIRM)
[13/05/2024 - 17/05/2024]
Address:
163 Avenue de Luminy
13009 Marseille
France
7th International Workshop on Trends in Linear Logic and Applications (TLLA 2023)
Università degli Studi di Roma "La Sapienza"
[01/07/2023 - 02/07/2023]
Address:
Via Eudossiana 18
00184 Roma
Italy
Related material: Abstract, Slides, Slides (Short Version)
Workshop in Honour of Antonio Bucciarelli's 60th Birthday
Institut de Recherche en Informatique Fondamentale (IRIF)
[20/06/2023]
Address:
9 Esplanade Pierre Vidal-Naquet
75013 Paris
France
François Métayer days
Institut de Recherche en Informatique Fondamentale (IRIF)
[08/06/2023 - 09/06/2023]
Address:
9 Esplanade Pierre Vidal-Naquet
75013 Paris
France
LHC days 2023
Institut de Recherche en Informatique Fondamentale (IRIF)
[06/06/2023 - 07/06/2023]
Address:
9 Esplanade Pierre Vidal-Naquet
75013 Paris
France
Midlands Graduate School 2023
University of Birmingham
[02/04/2023 - 06/04/2023]
Address:
Birmingham
B15 2TT
United Kingdom
Scalp Working Group Days
Centre International de Rencontres Mathématiques (CIRM)
[15/02/2023 - 17/02/2023]
Address:
163 Avenue de Luminy
13009 Marseille
France
Workshop in Honour of Thomas Ehrhard's 60th Birthday
Conservatoire national des arts et métiers (CNAM)
[29/09/2022 - 30/09/2022]
Address:
2 Rue Conté
75003 Paris
France
Summer School "Proofs, arguments and dialogues: history, epistemology and logic of justification practices"
Universität Tübingen
[08/08/2022 - 12/08/2022]
Address:
Doblerstraße 33
72074 Tübingen
Germany
Related material: Slides
(Joint work with Luis Sánchez Polo)
EJCIM: School of Young Researchers on Mathematical Computer Science
Université Côte d'Azur
[07/06/2022 - 11/06/2022]
Address:
28 Avenue Valrose
06000 Nice
France
Linear Logic Winter School
Centre International de Rencontres Mathématiques (CIRM)
[24/01/2022 - 28/01/2022]
Address:
163 Avenue de Luminy
13009 Marseille
France