Login

Summer school "Proofs assistants and applications"

31 August 2026 to 4 September 2026
Europe/Paris timezone
Registration deadline is Friday July 3 (see link at bottom of page).

Information

Application

Inscription

Contact info
summerschool2026@math.unistra.fr

Registration is free but mandatory.

Participation in this event is moderated
The organisers will have to approve your application.