Participations
- 1st Dedukti school, June 24 - 25, 2022, Nantes, France
- Linear Logic Winter School, January 24 - 28, 2022, Marseille, France
- EUTypes summer school 2019: Types for Programming and Verification, August 30-September 4, 2019, Ohrid, Macedonia
- ESSLLI 2019: 31st European Summer School in Logic, Language and Information, August 5-16, 2019, Riga, Latvia
- EUTypes summer school 2018: Types for Programming and Verification, August 8-12, 2018, Ohrid, Macedonia
- EUTypes summer school 2017: Types for Programming and Verification, July 10-14, 2017, Ohrid, Macedonia
Research Visits
- University of Ljubljana, Faculty of Mathematics and Physics,
Duration: 23th March - 30th March 2019, Host: Alex Simpson.
The short-term scientific mission (STSM) supported by the COST Action CA15123 EUTypes - University Paris-Diderot (Paris 7), L’Institut de Recherche en Informatique Fondamentale (IRIF),
Duration: 1st May - 31st July 2018. Working under the supervision of Michele Pagani.
Mobility programme supported by Erasmus+ EU