Attended events
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