Parkinson Building Logic at Leeds

Homepage
People
Research
Seminars
Postgrad
opportunities

Pure
Department

School of
Mathematics

University
of Leeds

Some
outside links

Graduate
courses

Homepage


See below for SPECIALIST SEMINARS on Computability, Models, Proofs and Philosophy

UNIVERSITY OF LEEDS
Department of Pure Mathematics
Logic Seminar 2015

SPRING TERM
January 21st

Hector Zenil
(Karolinska Institute & Oxford University)
Numerical Approximations to Uncomputable Complexity Functions
January 28th

Alex Simpson
(Edinburgh University)
Independence Set Theory and Randomness
February 4th

Alessandro Berarducci
(University of Pisa)
tba
February 11th

Krzysztof Krupiński
(University of Wroclaw)
tba
February 18th - Joint with Algebra, Logic and Algorithms Seminar

Leonid Libkin
(Edinburgh University)
tba
February 25th

Thomas Streicher
(TU Darmstadt)
tba
March 11th

Boris Zilber
(Oxford University)
tba
March 18th - Joint with Algebra, Logic and Algorithms Seminar

Christoph Wintersteiger
(Microsoft Research, Cambridge)
tba

All seminars, except where otherwise indicated, will be at 4pm in the Engineering (Houldsworth) Building, Lecture Theatre B.

Tea from 3.30pm will also be in the Engineering Building (Staff Common Room 3.09 on the 3rd floor) - all welcome.

Seminar organiser - Nicola Gambino


SUMMER TERM
April 22nd - Joint with Algebra, Logic and Algorithms Seminar

James Mitchell
(University of St. Andrews)
tba
April 29th

Imre Leader
(Cambridge University)
tba
May 6th - Joint with Algebra, Logic and Algorithms Seminar

Einar Steingrimsson
(University of Strathclyde)
tba
May 13th

Anton Setzer
(Swansea University)
tba
May 20th - Joint with Algebra, Logic and Algorithms Seminar

Heribert Vollmer
(University of Hanover)
tba
May 27th - Joint with Philosophy

Catarina Dutilh Novaes
(University of Groningen)
tba


Past logic seminars - 2014, 2013, 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 & Constructivism Seminar/ LAMPASS archive
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.

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

The

PURE POSTGRADUATE SEMINAR
(and past seminar archive)

also features talks of interest to logicians.

Maintained by: S. B. Cooper