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

June 22, 2026 to July 3, 2026

Institut Pascal

Europe/Paris timezone

Overview
Registration
Participant List

Contact

francesca.sconfienza@universite-paris-saclay.fr

Starts Jun 22, 2026, 9:00 AM

Ends Jul 3, 2026, 5:00 PM

Europe/Paris

Institut Pascal

Rue André Rivière 91400 Orsay

Registration

Registration for this event is currently open.

Choose timezone

Formal Mathematics and Proof Systems Interoperability

Contact