Pour vous authentifier, privilégiez eduGAIN / To authenticate, prefer eduGAINeu

Choisissez le fuseau horaire

Le fuseau horaire de votre profil:

Utiliser le fuseau horaire basé sur:

Evénement/catégorie Personnalisé

Veuillez choisir un fuseau horaire personnalisé

S'authentifier

Formal Mathematics and Proof Systems Interoperability

Name: Formal Mathematics and Proof Systems Interoperability
Start: 2026-06-22T09:00:00+02:00
End: 2026-07-03T17:00:00+02:00
Location: Institut Pascal

22 juin 2026 à 3 juillet 2026

Institut Pascal

Fuseau horaire Europe/Paris

Accueil
Inscription
Liste des participants

Contact

francesca.sconfienza@universite-paris-saclay.fr

Liste des participants

50 participants

La liste des participants groupée par le formulaire d'inscription qu'ils ont utilisé pour s'inscrire à l'événement.

Fonctionne avec Indico v3.3.8