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 transformers and their application to proof assistants

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

Salle de conférences

IRMA

7 rue René-Descartes 67084 Strasbourg Cedex, France

Presentation materials

There are no materials yet.

Building timetable...