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.
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.
A list including email aliases for many subscribers to this list, among others, is the structures directory maintained by Vaughan Pratt.
The following have information on regular seminars in Category Theory.
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 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
International Category Theory Conference CT2016
, August 7 - 13, 2016, Dalhousie University, Halifax, Canada.
Conference website:
http://mysite.science.uottawa.ca/phofstra/CT2016/CT2016.htm
24rd Foundational Methods in Computer Science Meeting June 2nd -5th, 2016 at University of British Columbia, Vancouver, Canada.. Organizer: John MacDonald.
Peripatetic Seminar on Sheaves and Logic, PSSL 100, 21-22 May 2016, Cambridge.
The PSSL was founded 40 years ago by Dana Scott, who will be coming to the 100th PSSL and
will also be giving the Mordell Lecture for the Faculty of Mathematics on the preceding Friday, 20 May.
The web page is at
https://www.dpmms.cam.ac.uk/~jg352/PSSL100/pssl100.html
Workshop on Homotopy Type Theory and
Univalent Foundations, Fields Institute, Toronto, Canada,
May 16-20, 2016.
The web page is at
http://www.fields.utoronto.ca/activities/15-16/homotopy-type
13th International Workshop on Coalgebraic Methods in Computer Science (CMCS'16), 2 - 3 April 2016, Eindhoven, the Netherlands. The web page is: http://www.iti.cs.tu-bs.de/~cmcs/
Peripatetic Seminar on Sheaves and Logic, PSSL99, On the Occasion of Jirka Adamek's Emeritation,
March 11-13, 2016, Institute of Theoretical Computer Science, TU Braunschweig. The web page is at
http://www.iti.cs.tu-bs.de/TI-INFO/koslowj/PSSL99.html
Workshop in Category Theory and Algebraic Topology, 10-12 September 2015, Louvain-la-Neuve.
This international workshop is jointly organized by the category theory group at the Université catholique de Louvain
and the algebraic topology group at the Ecole Polytechnique Fédérale de Lausanne.
The conference webpage is available at the address :
http://sites.uclouvain.be/ctat2015/
CALCO 2015, 6th International conference on algebra and coalgebra in computer science, June 24 - 26, 2015, Nijmegen, Netherlands. See http://coalg.org/calco15/
Topology, algebra and categories in Logic (TACL2015),
21 - 26 June 2015, Ischia Island (Italy).
See the web page at
http://logica.dmi.unisa.it/tacl/
International Category Theory Conference CT2015,
June 14-19, 2015, Aveiro, Portugal.
The invited speakers are
Clemens Berger - Universite de Nice
Julie Bergner - University of California, Riverside
Gabriella Bohm - Wigner Research Centre for Physics, Budapest
Richard Garner - Macquarie University, Sydney
Henning Krause - Bielefeld University
Diana Rodelo - University of Algarve
The conference website is located at
http://ct2015.web.ua.pt
23rd Foundational Methods in Computer Science Meeting June 4th -7th, 2015 at
Colgate University, Hamilton, New York. Organizer: Phil Mulry.
http://cs.colgate.edu/~phil/FMCS2015
CatAlg2015 - Workshop in Categorical Algebra, 26-30 April 2015, Gargnano del Garda. This is the Third Workshop CATALG2015 on Categorical Algebra. The website of the conference CATALG2015 can be found at the url: http://math.unipa.it/metere/Gargnano2015/index.html
Peripatetic Seminar on Sheaves and Logic, PSSL97 31 January-1 February 2015, Université catholique de Louvain.
An opportunity to celebrate the 65th birthday of Rudger Kieboom.
The conference webpage is available at the address
http://sites.uclouvain.be/bcts/pssl97/
Séminaire Itinérant de Catégories, Paris, le 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. 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. 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. 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 was 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 delivered 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 delivered by Professor Street were 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.
Phone: +1-506-364-2530
Fax: +1-506-364-2583