Directory

Directory Help Search only in Research GroupsSearch the Web

Research Groups

Science > Math > Algebra > Category Theory > Research Groups

Go to Directory Home

Related Categories:
    Science > Math > Algebra > Research Groups  (17)
    Science > Math > Logic and Foundations > Institutions  (66)

Web Pages

Viewing in Google PageRank order               View in alphabetical order

	(EU) Linear Logic in Computer Science - http://iml.univ-mrs.fr/ldp/LINEAR/ European TMR research network.
	(Germany) University of Bremen - http://katmat.math.uni-bremen.de/ Katmat. Research Group on Categorical Methods in Algebra and Topology. German/English site.
	(Canada) McGill University - http://www.math.mcgill.ca/triples/ Category Theory Research Centre. Announcements of weekly seminars, conferences, and other research activities in category theory.
	(Canada) Category Theory Research Center Montréal - http://www.math.mcgill.ca/rags/seminar/ Timetable.
	(Australia) University of Sydney - Catacomb - http://www.maths.usyd.edu.au:8000/res/Catecomb.html Categories and Combinatorics Group.

	(Canada) Atlantic Category Theory Seminar - ATCAT - http://www.mscs.dal.ca/~pare/atcat.html Dalhousie University, Halifax. Weekly meetings.
	(Portugal) University of Coimbra - http://www.mat.uc.pt/~categ/ Categories at Coimbra. Members, meetings, reports, resources.
	(South Africa) Cape Town Research Group - http://academic.sun.ac.za/maths/cattop/ Universities of Cape Town, Stellenbosch and the Western Cape. Members, activities, outputs, links.
	(UK) University of Leicester - http://www.mcs.le.ac.uk/~ah83/compcat/ Computational Category Theory Project group. People, activities, software.
	(Canada) Mt Allison University - http://www.mta.ca/~rrosebru/compcat/compcat.html Computational Category Theory. Software, people.

	(Australia) Macquarie University - http://www.ics.mq.edu.au/~mike/compcat/ Computational category theory project group. People, projects, publications.
	(Canada) University of Calgary - http://pages.cpsc.ucalgary.ca/~luigis/CPRGLCC/ Calgary Peripatetic Research Group in Logic and Category Theory - alternates between departments of mathematics, philocophy, and computer science; meets weekly.
	(UK) University of Wales, Bangor - http://www.informatics.bangor.ac.uk/public/math/research/compcat/ Computational Category Theory (part of The Computational Category Theory Project). People, activities, software.

Help build the largest human-edited directory on the web. Submit a Site - Open Directory Project - Become an Editor

Modified by Google - ©2008 Google
Advertise with Us - Jobs, Press, Cool Stuff...