Categories List


How to use the list
Archives
Moderator
Conferences of interest
Some email addresses
Seminar-related, and Local Sites
Theory and Applications of Categories - refereed electronic journal.
TeX Macros for diagrams

Using the list:

Articles for posting should be sent to
categories@mta.ca

Administrative items (subscriptions, address changes etc.) should be sent to
categories-request@mta.ca
Categories uses Majordomo mailing list software. To receive list email at the address from which you are sending a subscription request, simply write "subscribe" in the body of your message. If you wish to have categories mailings go to a different address, add that address to your message. For instance, you might put the line "subscribe jdoe@my-uni.org" in the mail message body. To terminate your subscription, send the message "unsubscribe". This will fail if your provider has changed the way your address is shown in your mail. To remove an address other than the one from which you are sending the request, give that address in the request: "unsubscribe jdoe@my-uni.org".

Please be aware that since the list is moderated, posting of submissions will normally take some time. If your submission has not been posted within 48 hours it may have been discarded for a reason below, or not received. After that time has elapsed you may contact the moderator.

List Policy (Revised 2014-09-03):
The subject of this moderated mailing list is category theory. Items on another subject may be posted if judged by the moderator to be of interest to subscribers. Discussion of such posts is excluded. The list is to be used for concise discussion that is suitable for email distribution. Posts are not transmitted if, in the moderator's judgement, they are unsuitable for distribution. Postings to the categories list will be courteous and respectful. Expression of disagreement must be polite. A submission judged by the moderator to be offensive or defamatory will not be posted. Submissions judged to be related such material will not be posted.

The categories mailing list distributes only text messages. Do not send attachments, messages containing html or excessively long postings (longer than about 10K). The default setting for some email clients is to compose messages containing html. This setting is easy to change. Postings with attachments or with html will be discarded.
Help with avoiding html is here or here.

Return to top.


Archives

The easiest to use archive is at http://blog.gmane.org/gmane.science.mathematics.categories and maintained by Gmane. Several viewing formats are available.
A subject-sorted list of postings June 1994-December 1999 is at www.mta.ca/~cat-dist/catlist/
This was initiated by Karel Stokkermans of the University of Linz who maintained the list from June 1994 to November 1999.
The full archives of postings on categories until 2009 (when Outlook made this impossible) are at www.mta.ca/~cat-dist/archive/. The postings are filed in yearly folders called 2006, 2005 etc. Within those folders there are monthly files.

Return to top


Address list

A list including email aliases for many subscribers to this list, among others, is the structures directory maintained by Vaughan Pratt.

Return to top


WWW Sites with Seminar Information

The following have information on regular seminars in Category Theory.

AtCat - the Atlantic Category Theory Seminar
meets at Dalhousie University in Halifax, Canada and has seminar information at http://www.mathstat.dal.ca/~pare/atcat.html

Australian Category Seminar
meets usually on Wednesdays at Macquarie University in Sydney, Australia and has seminar information at http://web.science.mq.edu.au/groups/coact/seminar/

CRTC Seminar
in Montreal has listings at http://www.math.mcgill.ca/rags/seminar/ .

KatMAT Seminar
at the University of Bremen has listings at http://katmat.math.uni-bremen.de/ .

Université catholique de Louvain and Vrije Universiteit Brussel
have a joint Category Theory Seminar with listings at http://www.uclouvain.be/en-348262.html .

Teoria e Applicazione delle Categorie
at the University of Genoa has listings at http://www.disi.unige.it/eventsandseminars/tac/ .

Web Sites with Local Information

The sites listed below have WWW pages or anonymous ftp directories with other documents of interest to subscribers to the categories list. Information about web sites with holdings of interest is solicited.

The Atlantic Category Theory Group
has a page at http://www.mathstat.dal.ca/~selinger/atcat/
The University of Wales, Bangor
Mathematics Pages at http://www.informatics.bangor.ac.uk/public/math/ provides links to articles by R. Brown, T. Porter and coauthors.
The University of Bremen
Cateqorical Methods in Algeba and Topology Group has a page at http://katmat.math.uni-bremen.de/ .
At Case Western Reserve University
Charles Wells' page http://www.cwru.edu/artsci/math/wells/home.html provides papers and macro packages by Charles Wells.
The Centre of Australian Category Theory (CoACT)
based at Macquarie University has a page at http://www.ics.mq.edu.au/CoACT/
At McGill
the CTRC Home Page at http://www.math.mcgill.ca/triples/ provides articles by Montreal authors and some software.
The Stanford
Concurrency Group Web server at http://boole.stanford.edu/ has articles by members of the group, and the `structdir' email alias list.
The University of Sydney
Categories and Combinatorics Group page is at http://www.maths.usyd.edu.au:8000/res/Catecomb.html.
At York University
is Walter Tholen's page at http://www.math.yorku.ca/Who/Faculty/Tholen/menu.html
At Mount Allison University
Bob Rosebrugh is the moderator of this list. His home page at http://www.mta.ca/~rrosebru/ has links to papers and software.

Return to top


(La)TeX macros for diagrams

The links here are to macro packages (and their documentation) that are intended to facilitate creation of diagrams in (La)TeX.

The links below are to appropriate directories at the ftp.dante.de CTAN (Common Tex Archive Network) site. If you are not in Europe, you may retrieve the files more quickly by connecting to another CTAN site closer to you. Try ftp.tex.ac.uk or one of the mirrors listed at ftp://ftp.tex.ac.uk/tex-archive/README.mirrors .

The packages are:

Michael Barr's front-end for XY-pic that uses syntax similar to his now obsolete package based on the LaTeX picture mode is at
ftp://ftp.math.mcgill.ca/pub/barr/diagxy.zip

Francis Borceux' package based on matrices at
ftp://ftp.dante.de/tex-archive/macros/generic/diagrams/borceux

Kris Rose and Ross Moore's XY-pic package is at
ftp://ftp.dante.de/tex-archive/macros/generic/diagrams/xypic

Paul Taylor's package is at
ftp://ftp.dante.de/tex-archive/macros/generic/diagrams/taylor

Return to top


Conferences of Interest

Séminaire Itinérant de Catégories, Paris, lei 8 novembre 2014. For information see http://www-lmpa.univ-littoral.fr/~sic/wordpress/?page_id=662

Peripatetic Seminar on Sheaves and Logic PSSL 96. October 11-12, 2014, University of Palermo, Italy. The conference will be an opportunity to celebrate the 60th birthday of Pino Rosolini.

Summer School on selected topics in category theory and in algebraic topology, September 11-13, 2014, EPFL in Lausanne, Switzerland. There will be three mini-courses of 4 1/2 hours each, given by: Marino Gran (UCL), Jerome Scherer (EPFL) and Enrico Vitale (UCL). There is no conference fee to attend the Summer School; however, registration is required. See the webpage of the conference at the address: http://sites.uclouvain.be/ctat2014/

International Category Theory Conference 2014. June 29-July 5, 2014, University of Cambridge, Cambridge, UK. Conference information is available at:
http://www.ct2014.dpmms.cam.ac.uk

22nd Workshop on Foundational Methods in Computer Science June 5-8, 2014, Kananaskis Field Station, University of Calgary. If you wish to attend please contact robin@ucalgary.ca. Students who wish to attend should arrange for a supporting letter from their supervisor.

Séminaire Itinérant de Catégories, Louvain-la-Neuve, 17 mai 2014, Université catholique de Louvain, For information see http://sites.uclouvain.be/bcts/sic2014/

Peripatetic Seminar on Sheaves and Logic PSSL 95. April 26-27, 2014. Masaryk University, Brno, Czech Republic. See the web page at:
http://math.muni.cz/~bourkej/PSSL95

Union College Mathematics Conference October 19 - October 20, 2013 at Schenectady, New York. The conference topics include algebraic topology, category theory, commutative algebra, differential geometry, and statistics. The category theory portion of conference will be dedicated to Bill Lawvere and the 50th anniversary of his dissertation with an invited lecture by Bill. Please visit the website at: http://www.math.union.edu/~niefiels/13conference/

Type Theory, Homotopy Theory and Univalent Foundations. Centre de Recerca Matemetica, Barcelona, September 23-27, 2013. For more information see the web page http://www.crm.cat/2013/ctype

Celebration of Jim Lambek's 90th year at the CRM in Montreal, on Saturday, 21 September, 2013. For more information see the web page http://www.crm.math.ca/Lambek13/

Samuel Eilenberg Centenary Conference Warszawa (Warsaw), Poland, July 22-26, 2013. For more information see the web page http://eilenberg100.ptm.org.pl/

International Category Theory Conference 2013. Macquarie University, 7 - 13 July 2013.
Conference information is available at http://web.science.mq.edu.au/groups/coact/seminar/ct2013/

Conference in Memory of Aurelio Carboni. June 24 - 26, 2013, University of Milan. For information see http://math.unipa.it/metere/Aurelio2013/index.htm

MFPS XXIX, Twenty-ninth Conference on the Mathematical Foundations of Programming Semantics. June 23 - 25, 2013, Tulane University. For information see http://www.cs.cornell.edu/Conferences/MFPS29/

21st Workshop on Foundational Methods in Computer Science. May 31-June 2, 2013 at Mount Allison University, Sackville, NB, Canada. Information is available at:
http://www.mta.ca/~gcruttwell/FMCS2013.htm

Séminaire Itinérant de Catégories, Louvain-la-Neuve, 24 mai 2013, Université catholique de Louvain, For information see http://perso.uclouvain.be/tim.vanderlinden/sic-2013.html

Meeting in honour of René Guitart on the occasion of his 65th birthday Université Paris 7-Diderot, November 9, 2012.

Category Theory OctoberFest, October 27-28, 2012 at Concordia University, Montreal, Canada. See the Octoberfest website at http://www.math.mcgill.ca/triples/octoberfest12.html

Workshop on Category Theory in honour of George Janelidze, July 9-13, 2012 at the University of Coimbra. The conference website is http://www.mat.uc.pt/~workCT/

20th Workshop on Foundational Methods in Computer Science, June 14-17, 2012 at Dalhousie University, Halifax, Canada. Information is available at:
http://www.mathstat.dal.ca/~selinger/fmcs2012/

MFPS XXVIII, Twenty-Eighth Conference on the Mathematical Foundations of Programming Semantics. 6 - 9 June 2012, University of Bath, United Kingdom. For information see http://www.math.tulane.edu/~mfps/MFPS28

Séminaire Itinérant de Catégories, Louvain-la-Neuve, 19 mai 2012, Université catholique de Louvain, For information see http://perso.uclouvain.be/tim.vanderlinden/sic.html

Peripatetic Seminar on Sheaves and Logic PSSL 93. April 14-15, 2012, Cambridge, UK. See https://www.dpmms.cam.ac.uk/~jg352/PSSL93.html

Category Theory OctoberFest, October 22-23, 2011 at University of Ottawa, Ottawa, Canada. See the Octoberfest website at http://aix1.uottawa.ca/~scpsg/Octoberfest11/Octoberfest11.html

Topology, Algebra and Categories in Logic (TACL 2011), 26-30 July 2011, Universités Aix-Marseille I-II-III, France. For information see:
http://www.lif.univ-mrs.fr/tacl2011/

International Category Theory Conference 2011. University of British Columbia, 17 - 23 July 2011.
Conference information is available at http://www.mat.uc.pt/~ct2011/index.html

19th Workshop on Foundational Methods in Computer Science June 11-14, 2011
Place: Kananaskis Field Station (now the Biogeoscience Institute), University of Calgary
Web: http://pages.cpsc.ucalgary.ca/~robin/FMCS/FMCS2011/FMCS11.html

Category Theory, Algebra and Geometry. Université Catholique de Louvain, 26-27 May 2011. The programme is available at the address: http://perso.uclouvain.be/tim.vanderlinden/ctag.html
Professor Ross Street will deliver the last two talks of a series of lectures entitled "Monoidal categories in, and linking, geometry and algebra" on the occasion of the "Chaire de la Vallee Poussin 2011". For more information, see http://www.uclouvain.be/15551.html The first two lectures will be delivered by Professor Street on Tuesday 24 and Wednesday 25 of May.

MFPS XXVII, Twenty-Seventh Conference on the Mathematical Foundations of Programming Semantics. 25 May - 28 May 2011, Carnegie Mellon University, Pittsburgh, Pennsylvania, USA. For information see http://www.math.tulane.edu/~mfps/MFPS27

Union College Mathematics Conference April 30 - May 1, 2011 at Schenectady, New York. The conference topics include category theory, algebraic topology, and applied mathematics. Please visit the website at: http://www.math.union.edu/~niefiels/11conference/

Peripatetic Seminar on Sheaves and Logic PSSL 92. April 23-24, 2011, Oxford, UK.

Peripatetic Seminar on Sheaves and Logic PSSL 91. November 27-28, 2010, Amsterdam. Information is available at http://staff.science.uva.nl/~ciancia/PSSL91/

Category Theory OctoberFest, October 23-24, 2010, Dalhousie University, Halifax, NS. See the OctoberFest website at
http://www.mathstat.dal.ca/~selinger/ofest2010/

Workshop on Categories, Logic and Physics (CLP7), 21 September 2010, School of Computer Science, University of Birmingham. Further information on the CLP website.

Workshop on Categorical Logic August 28-29, 2010 at Masaryk University, Brno, Czech Republic. This workshop is a satellite to the joint MFCS & CSL 2010 conference which takes place August 23-27, 2010. Information is available at:
http://mfcsl2010.fi.muni.cz/catlog

International Category Theory Conference 2010. University of Genoa, 20 - 26 June 2010. Conference information is available at http://ct2010.disi.unige.it/

18th Workshop on Foundational Methods in Computer Science June 12-15, 2010 at University of Calgary, Kananaskis Field Station, Canada. Information is available at:
http://pages.cpsc.ucalgary.ca/~robin/FMCS/FMCS10/FMCS10.html

CMS Special Session Special session of the Canadian Mathematical Society Summer 2010 Meeting on Tensor Categories, June 4-6, 2010 at University of New Brunswick, Fredericton, NB, Canada. Organizer: Robert Paré. Information is available at
http://cms.math.ca/CMS/Events/summer10/

MFPS XXVI, Twenty-Sixth Conference on the Mathematical Foundations of Programming Semantics, May 6 - May 10, 2010, University of Ottawa. Information is available at
http://www.math.tulane.edu/~mfps/MFPS26/MFPS_XXVI.html

Peripatetic Seminar on Sheaves and Logic PSSL 90. April 24-25, 2010 at the Department of Theoretical Computer Science of the Technical University Braunschweig, Germany. Information is available at http://www.iti.cs.tu-bs.de/TI-INFO/koslowj/PSSL90.html

Peripatetic Seminar on Sheaves and Logic PSSL 89. 12th-13th December 2009 in Louvain-la-Neuve, Belgium. Information is available at http://homepages.vub.ac.be/~tvdlinde/pssl89.html

Category Theory NovemberFest, November 14-15, 2009, Carnegie Mellon University, Pittsburgh, PA. See the NovemberFest website at
http://www.andrew.cmu.edu/user/awodey/NovemberFest.htm

CALCO 2009: 3rd Conference on Algebra and Coalgebra in Computer Science, September 6-10 2009, Udine, Italy. For information see:
http://www.dimi.uniud.it/calco09/

Topology, Algebra and Categories in Logic (TACL 2009), 7-11 July 2009, Institute for Logic, Language and Computation, University of Amsterdam. For information see:
http://www.illc.uva.nl/tacl09/

International Category Theory Conference 2009. University of Cape Town, South Africa, 29 June - 4 July, 2009.

Models, Logics and Higher-Dimensional Categories: A tribute to the work of Mihaly Makkai. 18 - 20 June 2009 at Centre de Recherche Mathématique (CRM) in Montreal. A pre-meeting Workshop was held at McGill on 18 June 2009. Information is available on the web page
http://www.crm.umontreal.ca/Makkaifest09/

17th Workshop on Foundational Methods in Computer Science May 29-June 1, 2009 at University of British Columbia, Vancouver, Canada. Information is available on the web page
http://www.pims.math.ca/scientific/general-event/foundational-methods-computer-science-2009

Smooth Structures in Logic, Category Theory and Physics, A Fields Institute Sponsored Workshop. University of Ottawa, May 1-3, 2009.
For information see:
http://www.fields.utoronto.ca/programs/scientific/08-09/smoothstructures/

Peripatetic Seminar on Sheaves and Logic PSSL 88. Honouring Martin Hyland and Peter Johnstone on the occasion of their 60th birthdays, 4th-5th April 2009. See the web page:
http://cheng.staff.shef.ac.uk/pssl88/

Workshop on Triangulated Categories, December 10-12, 2008, Swansea University. Organizers: Grigory Garkusha, Tomasz Brzezinski, Edwin Beggs
Information is available on the web page: http://www-maths.swan.ac.uk/staff/gg/Workshop/

Categories in Algebra, Geometry and Logic, October 10-11, 2008, Royal Flemish Academy of Belgium for Sciences and the Arts, Brussels, Belgium. A tribute to the work of Francis Borceux and Dominique Bourn on the occasion of their sixtieth birthday.
Information is available on the web page: http://win.ua.ac.be/~istubbe/bbdays/

Category Theory OctoberFest '08, October 4-5, 2008, Montreal Category Theory Research Center at Concordia University, Montreal, Canada. See the Octoberfest website at http://www.math.mcgill.ca/triples/octoberfest08.html

CATS-3 Centro di Ricerca Matematica Ennio De Giorgi, Pisa, Italy. September 1-5, 2008. CATS3 is the third part of a series of conferences devoted to higher categorical structures in algebraic geometry. For further information about the conference, see
web page

HOCAT 2008, Homotopy Structures in Geometry and Algebra; Derived Categories, Higher Categories. Centre de Recerca Matematica, Bellaterra (Barcelona), June 30 to July 5, 2008. An event within the CRM thematic year on Homotopy Theory and Higher Categories.

International Category Theory Conference 2008. Universite du Littoral Cote d'Opale, Calais, France, 22-28 June 2008.
Information is available on the web page
http://saxo.univ-littoral.fr/CT08/

16th Workshop on Foundational Methods in Computer Science May 29-June 1, 2008 at Dalhousie University, Halifax, Canada. Information is available on the web page
http://www.mathstat.dal.ca/~selinger/fmcs2008/

Peripatetic Seminar on Sheaves and Logic PSSL 87. Honouring A. Kock, on the occasion of his 70th birthday, 22-23 March 2008. An extra session of invited talks on Friday 21 March with A. Joyal, F.W. Lawvere and G. Reyes. Organizer: Panagis Karazeris. See the web page:
http://www.math.upatras.gr/~pssl87

Max Kelly Conference in Cape Town, January 20-27, 2008. Conference dedicated to the memory of Max Kelly. For information contact George Janelidze, George.Janelidze@uct.ac.za

CMS Special Session Special session of the Canadian Mathematical Society Winter 2007 Meeting on Mathematical Applications of Category Theory, December 8-10, 2007 at University of Western Ontario, London, Ont, Canada. Organizers: F. William Lawvere and Walter Tholen.
For information see the CMS site at
http://cms.math.ca/CMS/Events/winter07/

Workshop on Categorical Methods in Algebra, Topology and Computer Science, in honour of Jiri Adamek and Walter Tholen, October 26-28, 2007. Held in Coimbra. See:
http://www.mat.uc.pt/~cmatcs/

Peripatetic Seminar on Sheaves and Logic PSSL 86. 8th and 9th September, 2007. Institut Élie Cartan of the Université Henri Poincaré in Nancy. Organizer: Fran?is Lamarche.
http://www.loria.fr/~lamarche/psslHomeEN.html

CALCO 2007: 2nd Conference on Algebra and Coalgebra in Computer Science, August 20, 2007, Bergen, Norway. CALCO brings together researchers and practitioners to exchange new results related to foundational aspects and both traditional and emerging uses of algebras and coalgebras in computer science. The study of algebra and coalgebra relates to the data, process and structural aspects of software systems. For information:
http://www.ii.uib.no/calco07/

International Category Theory Conference. June 17-23, 2007, Hotel Tivoli Almansor, Carvoeiro, Portugal.
Information is available at the web page
http://www.mat.uc.pt/~categ/ct2007

Foundational Methods in Computer Science Meeting June 8th - 10th, 2007 at Colgate University, Hamilton, New York. This workshop is meant to bring together researchers in mathematics and computer science with a focus on the application of category theory in computer science. The meeting is a day of research tutorials, followed by a day and a half of research talks.
Organizer: Phil Mulry.

SECA4, Seminar on category theory and applications Barcelona (CRM): June 6 - 9, 2007. The fourth conference of a series of meetings held in Spain. It is intended as meeting point for specialists in category theory and related areas as homological algebra, representation theory, or homotopy theory. It is sponsored by the Spanish Ministry of Education, the Catalan Government, and the Centre de Recerca Matematica in Barcelona.
More information on the following webpage http://mat.uab.es/~seca4/

Recent advances in category theory and logic: Applications of traces to algebra, analysis and categorical logic, A Fields Institute Sponsored Workshop. University of Ottawa, April 28-30, 2007.
A workshop, with student participation in mind, including introductory lectures. For information:
http://aix1.uottawa.ca/~scpsg/Fields07/Fields07.traces.html

Peripatetic Seminar on Sheaves and Logic PSSL 85. A PSSL was held on the weekend of 24th and 25th March, 2007 in Nice.

Thematic Program on Geometric Applications of Homotopy Theory January-June, 2007 at the Fields Institute
For the extensive program, including workshops, see http://www.fields.utoronto.ca/programs/scientific/06-07/homotopy/

Internal actions and internal structures: workshop in categorical algebra, October 26-28, 2006, Department of Mathematics of the Universita degli Studi di Milano. The purpose of the workshop is to consider the notion of internal action in different categorical contexts and to relate it with internal structures defined thereby. See
http://users.mat.unimi.it/users/mantovani/workshopMi06.htm

Category Theory OctoberFest '06, October 21-22, 2006 at University of Ottawa, Ottawa, Canada. See the Octoberfest website at http://www.site.uottawa.ca/~phil/lfc/

Peripatetic Seminar on Sheaves and Logic PSSL 84 A PSSL was held on the weekend of 14th and 15th October at the Department of Theoretical Computer Science of the Technical University in Braunschweig, Germany. The seminar welcomes talks using or addressing category theory or logic, either explicitly or implicitly, in the study of any aspect of mathematics or science. See
http://www.iti.cs.tu-bs.de/TI-INFO/koslowj/PSSL84.html

11th International Conference on Algebraic Methodology and Software Technology, AMAST '06, Kuressaare, Estonia, 5-8 July 2006. For information see:
http://cs.ioc.ee/mpc-amast06/amast/

International Category Theory Conference (CT06) June 25-July 1, 2006 at White Point Beach Resort.
The International Category Theory Conference (CT) covers all areas of pure and applied category theory. CT 2006 was be an active research-oriented conference, in something of an "Oberwolfach style". The seaside setting offered more opportunities for informal discussion and collaboration. See:
http://www.mathstat.dal.ca/~selinger/ct2006/

CMS Meeting: Special Session on Category theory June 3rd - 5th, 2006 at Calgary, AB, Canada
Organizers: Steve Awodey, Rick Blute, Robin Cockett, Ernie Manes, Phil Scott. Algebraic Set Theory, Categorical Proof Theory, Inverse Semigroups/Partial maps/Restriction Categories.
http://pages.cpsc.ucalgary.ca/~robin/FMCS/FMCS_06/CMS.html

Foundational Methods in Computer Science Meeting June 7th - 9th, 2006 at Kananaskis Field Station, AB, Canada
Organizers: Pieter Hofstra, Robin Cockett. Includes sessions on Higher Categories, Abstract Computability.
http://pages.cpsc.ucalgary.ca/~robin/FMCS/FMCS_06/FMCS06.html

Peripatetic Seminar on Sheaves and Logic PSSL 83 A PSSL was held at Glasgow, Scotland, on 6-7 May, 2006. For information, see
http://www.maths.gla.ac.uk/~tl/pssl/

Mac Lane Memorial Conference April 7-11, 2006, at the University of Chicago. This conference was on category theory and its applications in memory of Saunders Mac Lane, See
http://www.math.uchicago.edu/~eugenia/maclane

Geometry of Computation 2006 (Geocal06) January 30 - March 3 at Luminy, Marseille, France. See
http://iml.univ-mrs.fr/geocal06/

Union College Mathematics Conference December 3-4, 2005 at Schenectady, New York The conference topics included algebraic topology, category theory, and commutative algebra. Please visit the website at: www.math.union.edu/~leshk/05Conference

Category Theory OctoberFest '05, October 22-23, 2005 at University of Ottawa, Ottawa, Canada. For information see the website:
http://aix1.uottawa.ca/~scpsg/Octoberfest05/Octoberfest.final1.htm

International Conference "Charles Ehresmann 100 ans" October 7 to 9, 2005, at the Universite de Picardie Jules Verne in Amiens.
Including the 82nd session of the PSSL "Peripatetic Seminar on Sheaves and Logic" and a session of the SIC (Seminaire Itinerant de Categories). See
http://perso.wanadoo.fr/vbm-ehr/ChEh

Categories in Algebra, Geometry, and Mathematical Physics to mark the 60th birthday of Ross Street. The conference was held at Macquarie University in Sydney, Australia, during the period 11-15 July 2005. The conference website is at
http://streetfest.maths.mq.edu.au/

CALCO 2005: 1st Conference on Algebra and Coalgebra in Computer Science, September 3-6, 2005, Swansea, Wales, UK. CALCO brought together researchers and practitioners to exchange new results related to foundational aspects and both traditional and emerging uses of algebras and coalgebras in computer science. For information:
http://www.cs.swan.ac.uk/calco/index.php

MFPS XXI, Twenty-first Conference on the Mathematical Foundations of Programming Semantics, May 18 - May 21, 2005, University of Birmingham, UK. The invited speakers for MFPS XXI are: Samson Abramsky, Oxford, Andrej Bauer, IMFM, Slovenia, Cliff Jones, Newcastle, Catuscia Palamidessi, INRIA, Gordon Plotkin, Edinburgh, John Reynolds, CMU.
Information about MFPS XXI can be found at the URL
http://www.math.tulane.edu/~mfps/mfps21.htm

Category Theory OctoberFest, October 16 - 17, 2004 at McGill University, Montreal, Canada.

The first notice is available on the triples website: http://www.math.mcgill.ca/triples/octoberfest04.html .

For further information contact:
Michael Makkai [makkai at math.mcgill.ca]
Robert Seely [rags at math.mcgill.ca]

10th Conference on Category Theory and Computer Science (CTCS'04), August 12-14, 2004, and Summer School, August 9-11, 2004. IT University of Copenhagen (ITU) Copenhagen, Denmark. The purpose of the conference series is the advancement of the foundations of computing using the tools of category theory. Updated information is available from
http://www.itu.dk/research/theory/ctcs2004

International Category Theory Conference (CT04) July 18-24, 2004 at University of British Columbia, Canada.
Organizer:
John Macdonald johnm@math.ubc.ca

Algebraic Topological Methods in Computer Science, II, July 16-20, 2004 at University of Western Ontario London, Ontario, Canada. This is the second installment of a conference series; the first was held at Stanford University in the summer of 2001. All conference announcements and information available at the web page
http://www.math.uwo.ca/~jardine/at-csII.html
The organizers for this meeting are:
Gunnar Carlsson, gunnar@math.stanford.edu
Rick Jardine, jardine@uwo.ca

CMS Special Session A special session of the Canadian Mathematical Society Summer 2004 Meeting on Topos Theory, June 13-15, 2004 at Dalhousie University, Canada. Organizer:
Myles Tierney tierney@math.rutgers.edu
For information see the CMS site at
http://cms.math.ca/CMS/Events/summer04/

IMA 2004 Summer Program: n-Categories: Foundations and Applications June 7-18, 2004, University of Minnesota. Organizers:
J. Peter May may@math.uchicago.edu
John Baez baez@math.ucr.edu
For information:
http://www.ima.umn.edu/categories/

Foundational Methods in Computer Science (FMCS) 2004 June 4-6, 2004, University of Calgary. Hosted by the Programming Languages Group at the University of Calgary, and held at the Kananaskis Field Station.
For information:
http://pages.cpsc.ucalgary.ca/~robin/FMCS/FMCS_04/index.html

Peripatetic Seminar on Sheaves and Logic PSSL 80 A PSSL was held on the weekend of 3rd and 4th April, 2004 in Cambridge, UK. Organizers were
Eugenia Cheng (e.cheng@dpmms.cam.ac.uk)
Martin Hyland (martin@dpmms.cam.ac.uk)
Peter Johnstone (ptj@dpmms.cam.ac.uk)

7th International Workshop on Coalgebraic Methods in Computer Science, C M C S 2004, Barcelona, March 27-29, 2004. The workshop is held in conjunction with ETAPS 2004 (7th European Joint Conferences on Theory Theory and Practice of Software, March 27- April 4,2004).

The web page is: http://www.iti.cs.tu-bs.de/~cmcs/

Logical Foundations of Programming Semantics, Carnegie Mellon University, Pittsburgh, USA, May 19 - 23 - 26, 2004. Special session of the joint meeting of the Association for Symbolic Logic (ASL) and Mathematical Foundations of Programming Semantics (MFPS), Carnegie Mellon University, Pittsburgh, Pennsylvania, USA, May 19 - 23 - 26, 2004. For more information see:
http://www.aladdin.cs.cmu.edu/asl/
http://www.aslonline.org/Meetings.htm
http://math.tulane.edu/~mfps
Organizer: Steve Awodey awodey@cmu.edu

Workshop and Symposium RAMIFICATIONS OF CATEGORY THEORY, November 18-22, 2003. Held at the University of Florence, Italy.
Contact: Alberto Peruzzi, Department of Philosophy

Union College Mathematics Conference November 8-9, 2003, Schenectady, New York
The conference topics are algebraic topology, category theory, and differential geometry. In addition to plenary lectures of interest to the entire Conference audience, there will also be shorter contributed talks in parallel sessions.
Susan Niefield
niefiels@union.edu
Kimmo Rosenthal
rosenthk@union.edu
Web page at:
http://www.math.union.edu/~leshk/03Conference/

Workshop on Categorification and Higher-Order Geometry 23-24 July, 2003. Instituto Superior Tecnico, Lisbon, Portugal
Main speakers include:
John Baez, Univ. California at Riverside
Lawrence Breen, Univ. Paris 13
Louis Crane, Kansas State Univ.
Mikhail Khovanov, Univ. California at Davis
Stephan Stolz, Univ. Notre Dame
For information:
http://www.math.ist.utl.pt/~rpicken/CHOG2003

Peripatetic Seminar on Sheaves and Logic PSSL 79 A PSSL was organized by the University of Utrecht on the weekend of the 28th and 29th of June, 2003.

Fields Institute Summer School in Logic and Theoretical Computer Science University of Ottawa, June 2-20, 2003. This program was hosted by the logic group in the Department of Mathematics and Statistics at the University of Ottawa: Philip Scott, Richard Blute, and Peter Selinger.

Journees Joyal Colloque en l'honneur d' Andre Joyal a l'occasion de son 60e anniversare. April 11-12-13, 2003. The organizing committee is Steven Boyer (UQAM), Fran?is Lalonde (Montr?l), Christophe Reutenauer (UQAM). Speakers include, Terrence Bisson (Canisius College), Pierre Cartier (IHES), Ezra Getzler (Northwestern), Peter Johnstone (Cambridge), Christian Kassel (CNRS-Louis Pasteur), William Lawvere (Buffalo), Ieke Moerdijk (Utrecht University), Ross Street (Macquarie), Myles Tierney (Rutgers), Doron Zeilberger (Rutgers).

Fixed Points in Computer Science 2003 12-13 April, 2003, Warsaw, Poland. The aim of the workshop is to provide a forum for researchers to present their results to those members of the computer science and logic communities who study or apply the fixed point operation in the different fields and formalisms.

Peripatetic Seminar on Sheaves and Logic PSSL 78 The 78th meeting of the PSSL was held in Strasbourg over the weekend of 15-16 February 2003. Contact:
crans@math.u-strasbg.fr

Peripatetic Seminar on Sheaves and Logic PSSL 77 The 77th meeting of the seminar was held at the Department of Theoretical Computer Science of the Technical University in Braunschweig, Germany, over the weekend of October 5/6, 2002. For information:
http://www.iti.cs.tu-bs.de/TI-INFO/koslowj/PSSL77.html

Workshop on Categorical Structures for Descent and Galois Theory, Hopf Algebras and Semiabelian Categories, September 23-28, 2002, Fields Institute, Toronto. For a general description of the theme of the Workshop, see below. There is also a webpage about the Workshop at
http://www.fields.utoronto.ca/programs/scientific/02-03/galois_and_hopf/
George Janelidze (george_janelidze@hotmail.com)
Bodo Pareigis (pareigis@rz.mathematik.uni-muenchen.de)
Walter Tholen (tholen@mathstat.yorku.ca)

Category theory and computer science (CTCS'02) August 15-17, 2002, University of Ottawa. CTCS '02 was the 9th Conference on Category Theory and Computer Science.
Conference e-address: ctcs02@mathstat.uottawa.ca

Fixed Points in Computer Science 2002 July 20--21, 2002, Copenhagen, Denmark. The aim of the workshop is to provide a forum for researchers to present their results to those members of the computer science and logic communities who study or apply the fixed point operation in the different fields and formalisms. For information:
http://floc02.diku.dk/FICS/

CMS Special Session A special session of the Canadian Mathematical Society Summer 2002 Meeting on category Theory, June 15-17, 2002 at Universite Laval, Quebec, Canada. For information see the CMS site at
http://camel.math.ca/CMS/Events/summer02/

Peripatetic Seminar on Sheaves and Logic PSSL 76 The 76th meeting of the Peripatetic Seminar on Sheaves and Logic was held at the IT-University of Copenhagen over the weekend 2-3 March, 2002. For information:
www.it-c.dk/research/theory/Seminars/pssl76.html

Union College Conference on Algebraic Topology and Category Theory September 29-30, 2001 at Union College in Schenectady, NY. Plenary talks and parallel sessions for contributed talks in algebraic topology and category theory.

Fixed Points in Computer Science 2001 September 8, 2001, Florence, Italy. The aim of the workshop is to provide a forum for researchers to present their results to those members of the computer science and logic communities who study or apply the fixed point operation in the different fields and formalisms. For information:
http://www.dsi.uniroma1.it/~labella/FICS.html

Conference on Algebraic Topological Methods in Computer Science July 30 - August 3, 2001, Stanford University. Over the past 5 to 10 years, there has been an increasing interest in the potential applications of algebraic topology, particularly in the area of computing.

Peripatetic Seminar on Sheaves and Logic PSSL 75 The 75th meeting of the Peripatetic Seminar on Sheaves and Logic was held at the Institut Mittag-Leffler, Stockholm, on the week-end of 9-10 June 2001. The meeting may be seen as a satelitte event of the Logic Year, which is taking place at the Mittag-Leffler Institute; a number of colleagues with interest in Sheaves and Logic are scheduled to be present in Stockholm during the period, in the context of the Logic Year.
Anders Kock
Erik Palmgren
Dana Scott

Peripatetic Seminar on Sheaves and Logic PSSL 74 The 74th PSSL was held in Cambridge on the weekend of 4/5 November 2000. Also an opportunity for anyone who hasn't been in Cambridge recently to see the new Mathematics building.
Martin Hyland
Peter Johnstone

AMS Special Session The AMS held a regional meeting (#957 ) in Toronto September 22-24, 2000. J. Wick Pelletier and Walter Tholen organized a special session in that meeting entitled Applied Categorical Structures. The list of speakers included: Lars Birkedal, Marta Bunge, Robin Cockett, Jack Duskin, Jim Lambek, Bill Lawvere, Michael Makkai, Bob Pare, Jiri Rosicky, Myles Tierney, Enrico Vitale, and Richard Wood.

CatMAT2000 "Categorical Methods in Algebra and Topology - Commemorating 25 years of Category Theory in Bremen" took place at the University of Bremen, from August 21 to 25, 2000. All information can be obtained from the conference website at
http://katmat.math.uni-bremen.de/catmat2000/

Category Theory 2000 The international summer conference in category theory was held at Villa Olmo, Como, Italy from Sunday 16th July to Saturday 22nd July 2000. Email address for electronic submissions
ct2000@disi.unige.it

Program Committee: S.L. Bloom (Stevens Institute, USA), J.M.E. Hyland (Cambridge, U.K.), G. Janelidze (Georgian Academy of Sciences, Tbilisi), G.M. Kelly (Sydney, Australia), A. Kock (Aarhus, Denmark), R. Pare (Dalhousie, Canada), R.H. Street (Macquarie, Australia).
Organizing Committee: A. Carboni (Insubria), G. Rosolini (Genova), R.F.C. Walters (Insubria and Sydney).

The web page for the conference is www.disi.unige.it/conferences/ct2000/

C A T O P 2 0 0 0 was held at the University of Fribourg (Switzerland), 4-6 July, 2000. It was the aim of this conference to discuss categorical topological methods that are likely to be mathematically important in the next century. Also celebrated the seventieth birthday of Professor Heinrich Kleisli (Fribourg).

Peripatetic Seminar on Sheaves and Logic PSSL 73 The 73rd meeting of the seminar was held at the Department of Theoretical Computer Science of the Technical University in Braunschweig, Germany, over the weekend of April 29-30, 2000. The seminar welcomes talks using or addressing category theory or logic, either explicitly or implicitly, in the study of any aspect of mathematics or science.
Contact: Jurgen Koslowski, koslowj@iti.cs.tu-bs.de

Category Theory Symposium (PSSL 72) A "PSSL-like" meeting on category theory was held in Brussels, April 8-9. Please check out our webpage
http://www.vub.ac.be/CLEA/BobWS2000.html
Contact: Bob Coecke, bocoecke@vub.ac.be and Isar Stubbe, i.stubbe@agel.ucl.ac.be

Category Theory OctoberFest was held October 16 - 17, 1999, McGill University. For information contact:
Michael Barr barr@barrs.org
Robert Seely rags@math.mcgill.ca
See the conference Web page at
www.math.mcgill.ca/triples/octoberfest99.html

Peripatetic Seminar on Sheaves and Logic PSSL 71 The 71st meeting of the PSSL was held in Louvain-la-Neuve on the weekend of 16-17 October 1999.

CTCS '99 is the 8th conference on Category Theory and Computer Science.
Conference e-address: ctcs99@dcs.ed.ac.uk
Conference homepage: http://www.dcs.ed.ac.uk/home/ctcs99/

CT99: International Category Theory Meeting, University of Coimbra, Coimbra, Portugal, July 19-24, 1999. The Department of Mathematics of the University of Coimbra organized an International Meeting on Category Theory. See the Web page at
http://www.mat.uc.pt/~ct99/ .
For further information contact ct99@mat.uc.pt

School on Category Theory and Applications University of Coimbra, Coimbra, Portugal, July 13-17, 1999. This school consisted of the following intensive courses, at a postgraduate level:
n-Categories by John Baez (University of California, USA)
Algebraic Theories by M. Cristina Pedicchio (University of Trieste, Italy)
Chu Spaces: duality as a common foundation for computation and mathematics by Vaughan Pratt (Stanford University, USA).
See the Web page at
http://www.mat.uc.pt/~scta/ .
For further information contact scta@mat.uc.pt

Smooth categories in geometry and mechanics Special session of AMS Meeting No. 943 in Buffalo, N.Y., April 24/25, 1999. For further information contact:
F. William Lawvere wlawvere@acsu.buffalo.edu .

Peripatetic Seminar on Sheaves and Logic PSSL 70 The 70th meeting of the PSSL was held in Cambridge on the weekend of 27-28 February 1999. This meeting was a celebration of the 60th birthday of Gavin Wraith, which fell in March 1999. Gavin has been involved with the PSSL since its inception in 1976.
Peter Johnstone
Martin Hyland
Chris Mulvey

Peripatetic Seminar on Sheaves and Logic PSSL 69 was held November 27- 28, 1998 in TRIESTE, ITALY. Contact pedicchi@uts.univ.trieste.it , M.Cristina Pedicchio.

Meeting of the Peripatetic Seminar on Sheaves and Logic PSSL 68 The Federated Conference Mathematical Foundations of Computer Science and Computer Science Logic took place in Brno (Czech Republic) during August 23-28, 1998. In this connection, a meeting of the Peripatetic Seminar on Sheaves and Logic was held in Brno over the weekend of August 29-30, 1998. For information contact Jiri Rosicky rosicky@math.muni.cz .

Category Theory Symposium The symposium was a special session of the Canadian Mathematical Society Summer 1998 Meeting June 13-15, 1998 at University of New Brunswick (Saint John) Saint John, New Brunswick, Canada and was part of a larger programme including plenary talks, one of which was given by S. Schanuel (SUNY Buffalo). The larger programme also featured a public lecture by F.W. Lawvere (SUNY Buffalo). For information see the CMS site at http://camel.math.ca/CMS/Events/summer98

Category Theory Workshop June 8-12, 1998. In conjunction with the Category Theory Symposium at the Canadian Mathematical Society's (Northern) Summer 1998 Meeting, there was a workshop on the Applications of Category Theory to Computer Science, directed towards graduate students and young researchers, held at Mount Allison University (home of categories and TAC) Sackville, New Brunswick, Canada. Web page at
www.mta.ca/~cat-dist/ctss98

Peripatetic Seminar on Sheaves and Logic, PSSL 67 was held in Utrecht over the weekend of 30-31 May, 1998. For information contact Jaap van Oosten ( jvoosten@math.ruu.nl"

Workshop on coalgebraic methods in computer science Lisbon, 28-29 March 1998 (Satellite workshop to ETAPS'98). Organized by: Bart Jacobs, Larry Moss, Horst Reichel, Jan Rutten.
Proceedings: ENTCS (Electronic Lecture Notes in Computer Science), and a special issue of TCS.

Peripatetic Seminar on Sheaves and Logic, PSSL 66 The 66th meeting of the PSSL was held at the University of Birmingham, England, over the weekend of 28-29 March 1998. Since its inception, the focus of the PSSL has broadened and now includes talks related to category theory, logic and theoretical computer science. The meetings are informal in nature and talks on work in progress is welcome. Contact Neil Ghani N.Ghani@cs.bham.ac.uk

Algebraic Methodology and Software Technology AMAST '97. December 13 to 17, Sydney, Australia. The conference particularly welcomes papers in category theory as a foundation for computer science, and as a tool in software engineering.

Lambekfest Jim Lambek's colleagues, former students, and friends hosted a one day conference in his honour on the occasion of his 75th birthday.
Date: Friday December 5, 1997.
Place: Room B45, Burnside Hall, McGill University, Montreal.
The organizing committee:
Michael Barr, McGill University, Robert Raphael, Concordia University, Georg Schmidt, McGill University.

Peripatetic Seminar on Sheaves and Logic, PSSL 65 The 65th meeting of the Peripatetic Seminar on Sheaves and Logic took place in Aarhus (Denmark) over the weekend of 1-2 November 1997.

AMS Special Session on Category Theory and Its Applications, September 26-28, 1997 Montreal, Quebec Canada. This session was in honour of Bill Lawvere. The invited address was by I. Moerdijk, University of Utrecht, Netherlands ,

Category Theory and Computer Science (CTCS'97): 4-6 September 1997, S. Margherita Ligure (Genoa), Italy. The seventh biennial conference on Category Theory and Computer Science was held in Santa Margherita Ligure in 1997. Previous meetings have been held in Guildford, Edinburgh, Manchester, Paris, The URL is : "http://www.disi.unige.it/conferences/ctcs97/"

Category Meetings at Vancouver: was held July 13-18, 1997 at the University of British Columbia.

Category Theory BarrFest was held at McGill University in Montreal on Thursday-Saturday, May 29-31, 1997 in honour of Michael Barr's sixtieth birthday. The invited speakers: Peter Chu, Jack Duskin, Peter Freyd, Murray Gerstenhaber, John Kennison, Jim Lambek, Fred E J Linton, Saunders MacLane, Michael Makkai, John Power, Myles Tierney, Don VanOsdol, Charles Wells.

64th meeting of the Peripatetic Seminar on Sheaves and Logic was in Braunschweig on the weekend of May 10/11 1997.

63rd meeting of the Peripatetic Seminar on Sheaves and Logic was held in Bangor the weekend of 1 March 1997.

CATS'97 - Computing: The Australasian Theory Symposium was held 3-4 February 1997 at Macquarie University in Sydney.

62nd meeting of the Peripatetic Seminar on Sheaves and Logic was held in Utrecht in the weekend of 26-27 October 1996.

Session on Computational Category Theory: A special session on Computational Catgory Theory was held at the second Applications of Computer Algebra (ACA) conference, in Linz, Austria, July 17-20, 1996.

Category Theory at the Isle of Thorns was held from July 7 to 12, 1996.

Higher Homotopy Structures in Topology and Mathematical Physics was held June 13--15, 1996 at Vassar College, Poughkeepsie, NY.

61st meeting of the Peripatetic Seminar on Sheaves and Logic Universite' du Littoral - Dunkerque - France, Saturday/Sunday, June 8/9, 1996.

A weekend meeting was held in at York University, Toronto, April 13/14, 1996.

The 60'th PSSL was at Cambridge, January 27/28, 1996.

A conference on descent was held at Oberwolfach in September 1995.

A Cambridge Summer Meeting on Category Theory was held August 6-11, 1995.

The CT95 conference was held in Halifax, Canada, July 9-15, 1995.

A conference on Categorical Methods in Topology was held in Belgium, 29 May - 2 June, 1995.

Return to top


Bob Rosebrugh
Department of Mathematics and Computer Science
Mount Allison University
Sackville, N.B. E4L 1E6
Canada

Phone: +1-506-364-2530
Fax: +1-506-364-2583

Valid HTML 4.01!