Login

Summer school "Proof assistants and applications"

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

Information

Session

Introduction to type theory

31 Aug 2026, 09:00
Salle de conférences (IRMA)

Salle de conférences

IRMA

7 rue René-Descartes 67084 Strasbourg Cedex, France

Description

Material can be found here : https://pujet.fr/summer.html

Presentation materials

There are no materials yet.

Building timetable...