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

High-assurance and high-speed cryptography with Jasmin and EasyCrypt: J.-C. Léchenet (talk)

3 Sept 2026, 16:30

Salle de conférences (IRMA)

Salle de conférences

IRMA

7 rue René-Descartes 67084 Strasbourg Cedex, France

There are no materials yet.

Choose timezone

Summer school "Proof assistants and applications"

Information

Presentation materials