[PT] 5th Scottish Category Theory Seminar
Alex Simpson <[email protected]>
| Newsgroups | gmane.science.mathematics.prooftheory |
|---|---|
| Message-ID | <[email protected]> |
This meeting may be of interest to some proof theorists. SCOTTISH CATEGORY THEORY SEMINAR http://personal.cis.strath.ac.uk/~ng/sct.html *** Fifth Meeting *** *** Informatics Forum, University of Edinburgh *** *** Friday 25 November 2011, 2.00-5.40pm *** The fifth meeting of the Scottish Category Theory Seminar will feature talks by the following speakers. - Anders Kock (Aarhus University) - Paul-Andre Mellies (CNRS, Universite Paris 7 - Denis Diderot) - Tom Leinster (University of Glasgow) The meeting is open to all. There is no registration, but, if you intend to come, it would be helpful (but is not essential) to let us know by email: [email protected] This meeting is generously supported by the Glasgow Mathematical Journal Trust. Alex Simpson (local organizer) (ScotCats organizers: Neil Ghani, Tom Leinster, AS) -- Alex Simpson, LFCS, School of Informatics, Univ. of Edinburgh, UK Email: [email protected] 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.