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

Inscription

Formulaires disponibles

	Ouvre	Ferme
IPa Registration Form	12 janv. 2026, 16:19	Pas de date limite	33	Appliquer
PAT 2026	13 févr. 2026, 15:59	Pas de date limite		Appliquer

Fonctionne avec Indico v3.3.8