[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] 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@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@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.