[TYPES/announce] 4th Scottish Category Theory Seminar

Alex Simpson 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:

INVITED SPEAKERS

Eugenia Cheng (Sheffield) - "Distributive laws for Lawvere theories"
Bruno Vallette (Nice/Max Planck) - To be announced.

CONTRIBUTED TALKS

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.

Information: http://www.maths.gla.ac.uk/~tl/sct110513.html
Contact:     scotcats at cis.strath.ac.uk

We are generously supported by the Glasgow Mathematical Journal Trust.

Tom Leinster
(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 mailing list