[TYPES/announce] 7th Scottish Category Theory Seminar (now with titles)

Alex Simpson Alex.Simpson at ed.ac.uk
Tue Feb 5 05:04:39 EST 2013


********************************************************************
***
***  7th Scottish Category Theory Seminar
***  Friday 8 February 2013, 12:30-15:15  (= NEXT FRIDAY!)
***  International Centre for Mathematical Sciences
***  15 South College Street, Edinburgh, UK
***
***  http://www.maths.ed.ac.uk/~tl/sct130208.html
***
********************************************************************

We are pleased to announce the Seventh Scottish Category Theory  
Seminar. Everyone is welcome. We have three invited talks:

12:30-13:15  Martin Escardo
              (Dept of Computer Science, Birmingham)

              Sheaves in type theory: a model of uniform continuity

13:45-14:30  Danny Stevenson
              (School of Maths & Stats, Glasgow)

              A generalized Eilenberg?Zilber theorem for simplicial sets

14:30-15:15  Simon Willerton
              (School of Maths & Stats, Sheffield)

              A tale of two constructions by Isbell

As an added attraction, at 16:00 there will be a colloquium (not part  
of the category theory seminar):

   Don Zagier, "Modular forms and black holes: from Ramanujan to Hawking".

Our seminar will finish in time for participants to attend Zagier's talk,
which is at Edinburgh's School of Maths. Locals will be there to guide you.

If you wish to attend the meeting or would like to join us for dinner
afterwards, please email Tom.Leinster at ed.ac.uk.

Thanks to the Glasgow Mathematical Journal Trust for financial support.

Best wishes,
Scottish Category Theory Seminar organizers:
Neil Ghani, Tom Leinster, Alex Simpson

-- 
Alex Simpson, LFCS, School of Informatics, Univ. of Edinburgh, UK
Email: Alex.Simpson at ed.ac.uk             Tel: +44 (0)131 650 5113
Web: http://homepages.inf.ed.ac.uk/als   Fax: +44 (0)131 667 7209


-- 
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.




More information about the Types-announce mailing list