|
| Computer Laboratory |
| ||
Theory Mini-Courses | ||
2003-04 | ||
| Bigraphs and Mobile Processes by Robin Milner (Computer Laboratory). | ||
| November Mon 10, Wed 12, and Fri 14 from 2.15 to 4.15pm in FW09. | ||
2001-02 | ||
| Category Theory in Computer Science by Marcelo Fiore (Computer Laboratory). | ||
| Approaches to Cryptographic Protocols by Marcelo Fiore and Glynn Winskel (Computer Laboratory). | ||
| A Calculus for Cryptographic Protocols by Andy Gordon (Microsoft Research). | ||
| Communicating Automata and the Pi Calculus by Robin Milner (Computer Laboratory). | ||
| Concurrency, Pi, and Semantics for Distributed Systems by Peter Sewell (Computer Laboratory). | ||
| Operational Semantics and Program Equivalence by Andy Pitts (Computer Laboratory). | ||
2000-01 | ||
| Domain theory for concurrency by Glynn Winskel (Computer Laboratory). | ||
| Syntax and Semantics of Programming Languages by Marcelo Fiore (Computer Laboratory). | ||
| Semantics for Distributed Systems by Peter Sewell (Computer Laboratory). | ||
| Computation on Wide Area Networks by Luca Cardelli (Microsoft Research). | ||
|
|