PSSL71
Peripatetic Seminar on Sheaves and Logic. UCL, Louvain-la-Neuve, Belgium; 16--17 October 1999.
CatMAT 2000
Categorical Methods in Algebra and Topology - Commemorating 25 years of Category Theory in Bremen. University of Bremen, Germany; 21--25 August 2000.
CT99
University of Coimbra, Portugal; 19--24 July 1999.
School on Category Theory and Applications
University of Coimbra, Portugal; 13--17 July 1999.
CT95
Canadian Mathematical Society Annual Seminar. Dalhousie University, Halifax, Canada; 9--15 July 1995.
CTCS'97
7th conference on Category Theory and Computer Science. S. Margherita Ligure, Italy; 4--6 September 1997.
CTCS'99
8th conference on Category Theory and Computer Science. Edinburgh, Scotland, UK; 10--12 September 1999.
Applications of Category Theory to Computer Science
Mount Allison University, Sackville, NB, Canada; 8--12 June 1998.
Category Theory OctoberFest
McGill University, Montreal, Canada; 16--17 October 1999.
CT2000
Villa Olmo, Como, Italy; 16--22 July 2000.
|