Aim: The goal of this training is that participants to learn the basic notions for certifying algorithms in Coq.
Hosting institution: Universite de Lorraine, Metz, France
Period: 21.03.2022 – 25.03.2022
Duration: 5 days
Local organizers:
- Sorin Stratulat, UL (chair)
- Renata Bunoiu, UL
- Isabela Drămnesc, WUT (chair)
Photos from the event
