Skip to the Main Content

Note:These pages make extensive use of the latest XHTML and CSS Standards. They ought to look great in any standards-compliant modern browser. Unfortunately, they will probably look horrible in older browsers, like Netscape 4.x and IE 4.x. Moreover, many posts use MathML, which is, currently only supported in Mozilla. My best suggestion (and you will thank me when surfing an ever-increasing number of sites on the web which have been crafted to use the new standards) is to upgrade to the latest version of your browser. If that's not possible, consider moving to the Standards-compliant and open-source Mozilla browser.

March 19, 2012

6th Scottish Category Theory Seminar

Posted by Tom Leinster

We are pleased to announce the sixth meeting of the Scottish Category Theory Seminar, from 2.00 to 5.30 on Friday 25 May, at the University of Strathclyde (Glasgow). All are welcome to attend. We have two invited talks:

  • Thomas Streicher (Darmstadt): On univalent foundations
  • Eric Finster (EPFL, Lausanne): Revisiting the opetopes: applications in computer science and type theory

We are also looking for contributed talks. If you wish to attend the meeting, would like to have dinner with us, or would like to give a contributed talk, then please email the organisers at

ScotCats 6 will receive financial support from the SICSA’s Complex Systems Engineering Theme.

The local organizer is Neil Ghani, and the other ScotCats organizers are me and Alex Simpson.

Posted at March 19, 2012 4:23 AM UTC

TrackBack URL for this Entry:

0 Comments & 0 Trackbacks

Post a New Comment