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

Contact

francesca.sconfienza@universite-paris-saclay.fr

Conference information

Date/Time

Starts Jun 22, 2026, 9:00 AM

Ends Jul 3, 2026, 5:00 PM

All times are in Europe/Paris

Location

Institut Pascal

Rue André Rivière 91400 Orsay

Application

Application for this event is currently open.

Surveys

There is an open survey.

Choose timezone

Formal Mathematics and Proof Systems Interoperability

Contact

Conference information

Date/Time

Location