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

Contact

francesca.sconfienza@universite-paris-saclay.fr