Research Groups

(Australia) Macquarie University - Computational category theory project group. People, projects, publications.
www.ics.mq.edu.au/~mike/compcat/

(Australia) University of Sydney - Catacomb - Categories and Combinatorics Group.
www.maths.usyd.edu.au:8000/res/Catecomb.html

(Canada) Atlantic Category Theory Seminar - ATCAT - Dalhousie University, Halifax. Weekly meetings.
www.mscs.dal.ca/~pare/atcat.html

(Canada) Category Theory Research Center Montréal - Timetable.
www.math.mcgill.ca/rags/seminar/

(Canada) McGill University - Category Theory Research Centre. Announcements of weekly seminars, conferences, and other research activities in category theory.
www.math.mcgill.ca/triples/

(Canada) Mt Allison University - Computational Category Theory. Software, people.
www.mta.ca/~rrosebru/compcat/compcat.html

(Canada) University of Calgary - Calgary Peripatetic Research Group in Logic and Category Theory - alternates between departments of mathematics, philocophy, and computer science; meets weekly.
pages.cpsc.ucalgary.ca/~luigis/CPRGLCC/

(EU) Linear Logic in Computer Science - European TMR research network.
iml.univ-mrs.fr/ldp/LINEAR/

(Germany) University of Bremen - Katmat. Research Group on Categorical Methods in Algebra and Topology. German/English site.
katmat.math.uni-bremen.de/

(Portugal) University of Coimbra - Categories at Coimbra. Members, meetings, reports, resources.
www.mat.uc.pt/~categ/

(South Africa) Cape Town Research Group - Universities of Cape Town, Stellenbosch and the Western Cape. Members, activities, outputs, links.
academic.sun.ac.za/maths/cattop/

(UK) University of Leicester - Computational Category Theory Project group. People, activities, software.
www.mcs.le.ac.uk/~ah83/compcat/

(UK) University of Wales, Bangor - Computational Category Theory (part of The Computational Category Theory Project). People, activities, software.
www.informatics.bangor.ac.uk/public/math/research/compcat/