🏫 L'EPIT 2025 (École de Printemps d'Informatique Théorique du #CNRS) co-organisée par Alexis Saurin (IRIF) a lieu au Centre Paul-Langevin
💻 Sur Le raisonnement (co)inductif & circulaire appliqué à la #programmation, la preuve formelle et la vérification logicielle
➡️ Retrouvez les contenus des cours