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

Numerical Computations and Proofs, from Proof-Assistants to Aerospace Applications: P. Roux (talk)

2 Sept 2026, 16:00
1h
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.