| Ref | Y/S | Module | Institution | Contact | Topics/Langs/Tools |
|---|---|---|---|---|---|
| F01-Dat4 | Semantics and Verification 2002 | Aalborg | A. Ingólfsdóttir | BDD , CCS , CWB , PA , UPPAAL | |
| Systems, Automata, and Coalgebras | Bremen | L. Schröder | CCS , PA | ||
| MP-IV | 3 | Programming Method. IV (Concurrency) | Minho | L.S. Barbosa | CCS , CWB , PA , PiC , PicT |
| IFM-CA | MSc 1-2 | Formal Methods Integration | Nantes | J.C. Attiogbé | B , CCS , CSP , MPS , PA |