Calgary Peripatetic Research Group
Logic and Category Theory
Related workshops and Conferences:
June 5th: Foundational methods in Computer Science (FMCS) Colgate
24th August 2002:
Categorical Methods for Concurrency, Interaction and Mobility
-Affiliated to Concur (submit May 24th).
Category Theory in Computer Science