[TYPES/announce] 7th Scottish Category Theory Seminar

Alex Simpson Alex.Simpson at ed.ac.uk
Wed Jan 30 06:47:46 EST 2013

This may be of interest to some readers of types.

***  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)

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

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

Titles and abstracts will be available soon at the web address above.   
As an added attraction, at 16:00 there will be a colloquium:

   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 651 1426

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

More information about the Types-announce mailing list