-
Computational category theory project group. People, projects, publications.
-
Categories and Combinatorics Group.
-
Dalhousie University, Halifax. Weekly meetings.
-
Timetable.
-
Category Theory Research Centre. Announcements of weekly seminars, conferences, and other research activities in category theory.
-
Computational Category Theory. Software, people.
-
Calgary Peripatetic Research Group in Logic and Category Theory - alternates between departments of mathematics, philocophy, and computer science; meets weekly.
-
Katmat. Research Group on Categorical Methods in Algebra and Topology. German/English site.
-
Categories at Coimbra. Members, meetings, reports, resources.
-
Universities of Cape Town, Stellenbosch and the Western Cape. Members, activities, outputs, links.
-
Computational Category Theory Project group. People, activities, software.
-
Computational Category Theory (part of The Computational Category Theory Project). People, activities, software.
-
Linear Logic in Computer Science is lead by the "Logic of Programming" research team. Its thematic is focused on developing the theory and the applications of Linear Logic. It is formed by seven sites located in Marseille, Bologna, Cambridge, Edinburgh, Lisboa, Paris and Roma, and a few subsites.
|
|