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 scotcatsATcis.strath.ac.uk.
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