| Ref | Y/S | Module | Institution | Contact | Topics/Langs/Tools |
|---|---|---|---|---|---|
| Program Quality Verification | Bologna | C. Laneve | AbsI , TT , TrL | ||
| Programmation fonctionnelle et preuves | Lyon | Y. Bertot | Coq , FP , LamC , Ocaml , TT | ||
| 702752 | 2 | Programming Logics II | Minho | J.B. Almeida | LamC , TT |
| Programming Language Semantics | T.U. München | T. Nipkow | ATP , FS , HL , Isabelle , TT | ||
| G53PAL | 3 | Programming Algebra | Nottingham | R. Backhouse | AoP , FixP , PolyT |
| TC | 4 | Theory of Computation | Porto | M. Florido | DMat , FS , Haskell , LamC , Prolog , TT |
| Foundations of Informatics: Semantics II | Pisa | U. Montanari | LamC , TT | ||
| Paradigmi di Programmazione | Roma | P. Cenciarelli | FPT , FS , HL , LamC , PolyT , SML , TT | ||
| Foundations of Informatics (semantics) | Torino | M. Ciancaglini | FS , LamC , TT |