[PT] SCTS (Edinburgh, 21st May): Programme and call for participation

At least one talk at the seminar announced below is of
interest to proof theorists.

--

********************************************************************
*** Scottish Category Theory Seminar
*** Second Meeting
*** Friday 21st May 2010, 2-5.30pm
*** Informatics Forum, University of Edinburgh, Scotland
*** http://homepages.inf.ed.ac.uk/als/SCT/sct100521.html
********************************************************************

We are pleased to announce the programme of the Second Scottish Category
Theory Seminar. The meetings is open, and all are welcome to attend.

     * Invited talk: Antony Maciocia (University of Edinburgh)
       Triangulated Categories in Algebraic Geometry

     * Thorsten Altenkirch (University of Nottingham)
       Monads Need Not Be Endofunctors

     * Peter Kropholler (University of Glasgow)
       My Favourite Adjunctions

     * Invited talk: Dirk Pattinson (Imperial College London)
       Category-theoretic Proof Theory of Modal Logics

For more information see webpage:

       http://homepages.inf.ed.ac.uk/als/SCT/sct100521.html

-- 
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.