computer science

Postgraduate Lectures

• Operational Semantics lectures and supporting materials for the Midlands Graduate School in the Foundations of Computer Science, April 2006 and April 2007.
• Coinduction and Bisimulation lectures for the Foundations of Security Summer School, Eugene, Oregon, USA, 2003.
• Basic Category Theory for Models of Syntax at the Summer School on Generic Programming, Oxford, UK, 2002. Part of this course was also given at the Midlands Graduate School in the Foundations of Computer Science during April 2003.
• Categorical Logic and Type Theory at the EEF Foundations Summer School on Logical Methods at BRICS Aarhus, June 25-July 6, 2001. See also the school web page.
• I gave a series of lectures on Induction and Coinduction during 1998, and during 2000 and 2001 as part of the Midlands Graduate School in the Foundations of Computer Science.
• I gave a series of lectures covering A Theory of Objects by Abadi and Cardelli during the first semester of 1997. Copies of the foils are available from the author.
• A postgraduate lecture course Categories and Applications to Semantics given during the Autumn term at Imperial College in 1993/4.
• I ran a reading group which studied category theory during the Winter term at Imperial College in 1992/3.
• A postgraduate lecture course on Categories and Types given at the University of Cambridge Computer Laboratory in 1990.

• Contents:

Author: Roy Crole.
© University of Leicester April 2006. Last modified: 14th March 2007, 09:57:51.
CS Web Maintainer. This document has been approved by the Head of Department.