6th Scottish Category Theory Seminar

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.