Top » Science » Math » Algebra » Category_Theory » Research_Groups

Deprecated: Function eregi_replace() is deprecated in /home/chroot/home/sports/htdocs/index.php on line 128

Deprecated: Function ereg_replace() is deprecated in /home/chroot/home/sports/htdocs/index.php on line 129

Research Groups in Category Theory.

Research Groups	Institutions

• (Australia) Macquarie University Computational category theory project group. People, projects, publications.
• (Australia) University of Sydney - Catacomb Categories and Combinatorics Group.
• (Canada) Atlantic Category Theory Seminar - ATCAT Dalhousie University, Halifax. Weekly meetings.
• (Canada) Category Theory Research Center Montréal Timetable.
• (Canada) McGill University Category Theory Research Centre. Announcements of weekly seminars, conferences, and other research activities in category theory.
• (Canada) Mt Allison University Computational Category Theory. Software, people.
• (Canada) University of Calgary Calgary Peripatetic Research Group in Logic and Category Theory - alternates between departments of mathematics, philocophy, and computer science; meets weekly.
• (EU) Linear Logic in Computer Science European TMR research network.
• (Germany) University of Bremen Katmat. Research Group on Categorical Methods in Algebra and Topology. German/English site.
• (Portugal) University of Coimbra Categories at Coimbra. Members, meetings, reports, resources.
• (South Africa) Cape Town Research Group Universities of Cape Town, Stellenbosch and the Western Cape. Members, activities, outputs, links.
• (UK) University of Leicester Computational Category Theory Project group. People, activities, software.
• (UK) University of Wales, Bangor Computational Category Theory (part of The Computational Category Theory Project). People, activities, software.
• Australian Category Seminar Alternates between Sydney University and Macquarie University.
• Linear Logic in Computer Science An EU TMR network.
• Linear Network 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.

 

 

Copyright ©2000-2012 SPORT FR (38.06ms)

Apportez votre contribution à l'annuaire le plus complet du Web (avec évaluateurs « humains » !). Proposer un site - Open Directory Project - Devenir évaluateur de site