• Login

en fr

2025

• Publication à POPL 2026 December 08, 2025
• Participation à JITA 2025 December 08, 2025
• Participation à JITA 2024 January 23, 2025

2024

• Publication à LICS 2024 June 17, 2024

2023

• Publication à OPODIS 2022 March 09, 2023

2021

• Publication à STACS 2022 November 05, 2021