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

Information de la conférence

Date/Heure

Commence le 22 juin 2026, 09:00

Finit le 3 juil. 2026, 17:00

Toutes les horaires sont en Europe/Paris

Site

Institut Pascal

Rue André Rivière 91400 Orsay

Application

Les inscriptions pour cet événement sont actuellement ouvertes.

Choisissez le fuseau horaire

Formal Mathematics and Proof Systems Interoperability

Contact

Information de la conférence

Date/Heure

Site