Training in Coq

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

Program

Local organizers:

  • Sorin Stratulat, UL (chair)
  • Renata Bunoiu, UL
  • Isabela Drămnesc, WUT