Agenda


Séminaire de Meven Lennon-Bertrand


Méta-théorie mécanisée pour un assistant à la preuve vérifié --- Formalised meta-theory for a certified proof assistant kernel



Séminaire de Andrei Sabelfeld


[Inria Saclay ou visio via inria.webex.com/meet/benjamin.nguyen] From Theory to Practice of Data Minimization


Séminaire SDS

Voir les actualités