UNIVERSITY OF LEEDS
Department of Pure Mathematics
Logic Seminar 2012

SPRING TERM
January 18th - THE 2012 LÖB LECTURE Angus Macintyre (Queen Mary, University of London) Logic and Arithmetic: Models, Definitions, Proofs
January 25th Angsheng Li (Beijing) Local Theory of Networks: Principles, Methods and Experiments
February 15th Peter Schuster (Leeds) tba
February 22nd Anand Pillay (Leeds) tba
March 7th Helmut Schwichtenberg (Munich) tba
March 21st Alena Vencovská (Manchester) tba
April 4th Benno van den Berg (Utrecht) tba

All seminars, except where otherwise indicated, will be at 4pm in the Mathematics Active Learning Lab (MALL), 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

Past logic seminars - 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.