Conférences et rencontres

  • Du 31 août au 4 septembre 2026 conférence

      Ecole d’été "Proof assistants and applications"
    • Lieu : Salle de conférences IRMA