[TYPES/announce] 4th Scottish Category Theory Seminar
Alex.Simpson at ed.ac.uk
Mon Apr 11 04:34:52 EDT 2011
Contributed talks on category theory and type theory would be welcome at
the meeting below
*** THE 4TH SCOTTISH CATEGORY THEORY SEMINAR ***
*** School of Mathematics and Statistics, University of Glasgow ***
*** Friday 13 May 2011, 2.00-5.30pm ***
The Scottish Category Theory Seminar brings together the diverse groups of
people interested in the many aspects of category theory. For our fourth
meeting we give you:
Eugenia Cheng (Sheffield) - "Distributive laws for Lawvere theories"
Bruno Vallette (Nice/Max Planck) - To be announced.
Submissions are invited for two 25-minute contributed talks. If you would
like to give one, please send us a title and abstract soon.
If you intend to come, it would be helpful (but is not essential) to send
us a short email saying so.
Contact: scotcats at cis.strath.ac.uk
We are generously supported by the Glasgow Mathematical Journal Trust.
(for the organizers: Neil Ghani, TL, 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