******************************************************************** *** Scottish Category Theory Seminar *** Sixth Meeting *** Friday 25th May 2012, 2-5.30pm *** University of Strathclyde, Scotland ******************************************************************** We are pleased to announce the Sixth Scottish Category Theory Seminar. The meeting is open to everyone, and all are welcome to attend. We have two invited talks as follows: * Thomas Streicher (University of 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@cis.strath.ac.uk ScotCats 6 will receive financial support from the SICSA's Complex Systems Engineering Theme Scottish Category Theory Seminar organisers: Neil Ghani Tom Leinster Alex Simpson [For admin and other information see: http://www.mta.ca/~cat-dist/ ]