| Ref | Y/S | Module | Institution | Contact | Topics/Langs/Tools |
|---|---|---|---|---|---|
| 3 | Theory of Computation | Beira-Interior | S.M. Sousa | Coq , DMat , FP , LamC , Ocaml | |
| MSc | Formal Methods | Beira-Interior | S.M. Sousa | B , Coq , DMat , HL , Ocaml , WHY | |
| Programmation fonctionnelle et preuves | Lyon | Y. Bertot | Coq , FP , LamC , Ocaml , TT | ||
| MSc | Spécifications formelles, connaissances et raisonnement | Strasbourg | P. Gancarski (contact) | Coq , LamC , PV |