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 |