• Login

en fr

2025

• Publication à POPL 2026 décembre 08, 2025
• Participation à JITA 2025 décembre 08, 2025
• Participation à JITA 2024 janvier 23, 2025

2024

• Publication à LICS 2024 juin 17, 2024

2023

• Publication à OPODIS 2022 mars 09, 2023

2021

• Publication à STACS 2022 novembre 05, 2021