Contact

Lieu: LMF, bâtiment 650, salle des thèses (435)

Attention, accès difficile pour cause de chantier en cours

Participation possible en visio sur BBB Inria/ProofInUse

Programme

Les slides sont accessibles en cliquant sur les titres d'exposés.

Participants

Sur place: En visio: (connexion sur BBB Inria/ProofInUse)