Summer School "Proof assistants and applications"
Registration deadline: July 10
31
août
4 septembre 2026
IRMA (Strasbourg)
