Summer school "Proof assistants and applications"

Name: Summer school "Proof assistants and applications"
Start: 2026-08-31T09:00:00+02:00
End: 2026-09-04T19:50:00+02:00
Location: No location set

31 August 2026 to 4 September 2026

Europe/Paris timezone

Registration deadline is Friday July 17 (see link at bottom of page).

Information

summerschool2026@math.unistra.fr

Application

Inscription

Opened 1 Jun 2026

Closed 22 Jul 2026

Contact info

summerschool2026@math.unistra.fr

Registration is free but mandatory.

Registration is closed

The registration period has passed.

Choose timezone

Summer school "Proof assistants and applications"

Information