Calgary Peripatetic Research Group
on
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).
August 2002:
Category Theory in Computer Science
(Submit March)
Categories conference
list