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: IRMA

31 August 2026 to 4 September 2026

IRMA

Europe/Paris timezone

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

Information

summerschool2026@math.unistra.fr

Session

Introduction to categorical logic

31 Aug 2026, 14:00

Salle de conférences (IRMA)

Salle de conférences

IRMA

7 rue René-Descartes 67084 Strasbourg Cedex, France

There are no materials yet.

Building timetable...

Choose timezone

Summer school "Proof assistants and applications"

Information

Presentation materials