| Ref | Y/S | Module | Institution | Contact | Topics/Langs/Tools |
|---|---|---|---|---|---|
| SS03 | Specification and synthesis of Haskell programs | Bremen | T. Mossakowski | AoP , FP , Haskell | |
| ELINFO 01A00062 | 1 | Formal Methods in Systems Modeling | Gent | R.T. Boute | AoP , FPT |
| MP-I | 2 | Programming Methodology I | Minho | J.N. Oliveira | AoP , FP , GHC , Haskell , Hugs |
| MFP-I | 4 | Formal Methods I | Minho | J.N. Oliveira | AoP , FPT , MPC , VDMSL , VDMT |
| MFP-II | 4 | Formal Methods II | Minho | J.N. Oliveira | AoP , DRef , MPC , VDMSL , VDMT , VPP |
| G53PAL | 3 | Programming Algebra | Nottingham | R. Backhouse | AoP , FixP , PolyT |