UNIVERSITY OF LEEDS
Department of Pure Mathematics
Logic Seminar 2013

SUMMER TERM
May 1st Stijn Vermeeren (Leeds) Algorithmic Randomness: an Historical Journey
May 8th - Joint with Algebra, Logic and Algorithms Seminar Nicola Gambino (Leeds) Homotopical Algebra, Constructive Logic, and Certified Algorithms
May 22nd in Mall 2 - Joint with Algebra, Logic and Algorithms Seminar Robert Marsh (Leeds) Reflection Groups, Cluster Algebras, and Signed Graphs

All seminars, except where otherwise indicated, will be at 4pm in the Mathematics Active Learning Lab (MALL 1), Level 8 of the School of Mathematics. Tea at 3.30 pm in the Staff Common Room, School of Mathematics - all welcome.

Seminar organiser - Andrew Lewis-Pye

SPRING TERM
30th January, 2013 JOHN DERRICK MEMORIAL AFTERNOON A special series of talks in memory of John Derrick, to take place in the MALL (Level 8 of the School of Mathematics). Schedule: 14:15-14:45 tea/coffee (Maths Common Room) 14:45-15:00 Frank Drake: Reminiscences of John Derrick. 15:00-15:45 Michael Rathjen: Provability and Unprovability. 15:45-16:00 tea (Senior Common Room) 16:00-16:20 John Derrick Jr. (Sheffield): Correct concurrent algorithms. 16:30-17:15 Nicola Gambino (Palermo & Leeds): Bicategories of bimodules.
February 6th Stefan Vatev (Leeds, and Sofia, Bulgaria) Jump Inversion Theorems for Structures
February 20th, 4:30 - 5:30 (note change of time) Alex Wilkie (Manchester) Rational Points on Definable Sets
March 6th Tom Leinster (Edinburgh) Rethinking Set Theory
March 20th - Joint with Algebra, Logic, and Algorithms Seminar Barnaby Martin (London) A Random Walk through Infinite-domain CSP
April 10th Tony Cohn (Leeds) Building Qualitative Models of Spatio-Temporal Behaviour
April 17th Viv Kendon (Leeds) Some Recent Results in Quantum Walks

Past logic seminars - 2012, 2011, 2010, 2009, 2008, 2007, 2006, 2005, 2004, 2003, 2001, 2000, 1999, 1998

---

Specialist and Interdisciplinary Seminars

As well as the regular Logic Seminar, there are various specialist seminars associated with individual research subgroups, some of these held jointly with the Manchester logicians, or other departments. There is also a monthly Logic Reading Group which reads and discusses books on the history of logic, the role of logic in the world, and its interface with science.

Computability Seminar	Model Theory: Seminar and Postgraduate Seminar (archive)	Proof Theory Seminar/ LAMPASS	Seminars

There are also seminars of interest to logicians held within the Computer Science and Philosophy departments -

See, for instance, the Philosophy Department Research Events Calendar, and the Informatics Network Seminars.

The Logic and Language Discussion Group webapage has links to a range of philosophy seminars of possible interest to mathematicians, including the Centre for Metaphysics and Mind Seminar Series.

The

PURE POSTGRADUATE SEMINAR

also features talks of interest to logicians.