| 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 | |
| 5/ MSc | Inform. Syst. Specification and Modelling | Nancy | D. Méry | B , DMat | |
| G53PAL | 3 | Programming Algebra | Nottingham | R. Backhouse | AoP , FixP , PolyT |
| DTS | Domain Theory | Oxford | G.M. Reed | PiC , ScTD | |
| SEM | M | Software Engineering Mathematics | Oxford | A. Martin | DMat , Z |
| TC | 4 | Theory of Computation | Porto | M. Florido | DMat , FS , Haskell , LamC , Prolog , TT |
| Formal methods in informatics | Roma | A. Labella | ASe , FixP , ScTD |