| ||
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). | ||
|