Parkinson Building Logic at Leeds

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 2011

AUTUMN TERM
October 5th

Dugald Macpherson (Leeds)
Homogeneous Structures, Amalgamation, and Automorphism Groups
October 26th

Alexandra Omar Aziz (Leeds)
Stable Type-Definable Groups
November 2nd

Hajime Ishihara (JAIST)
Some Conservative Extension Results of Classical Logic Over Intuitionistic Logic
November 9th at 4:30pm in the Leonard Rogers Room

Amador Martín Pizarro (Lyon)
Morley's Theorem and Geometric Model Theory
November 16th in the Leonard Rogers Room

Michael Rathjen (Leeds)
Ideal Elements and the Quest for Consistency
November 23rd in the Leonard Rogers Room

Andrew Lewis (Leeds)
The Typical Turing Degree
November 30th - THE 2011 LÖB LECTURE:
POSTPONED UNTIL JANUARY 18, 2012

Angus Macintyre (Queen Mary, University of London)
Logic and Arithmetic: Models, Definitions, Proofs
December 7th

Laura Crosilla (Leeds)
On Constructive Operational Set Theory

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


SPRING TERM
February 16th in the Leonard Rogers Room

Jonathan Kirby (Norwich)
Exponential Fields and (non-) Model Completeness
February 23rd in the Leonard Rogers Room

Martin Escardo (Birmingham)
When Can We Effectively Decide Universal Quantifications?
March 2nd at 2.45pm in MALL 1

2.45pm - Bahareh Afshari (Edinburgh)
The Decidability Problem for the μ-Calculus Alternation Hierarchy

me
4.00pm - Graham Leigh (Oxford)
Axiomatising Truth in Intuitionistic Logic
March 16th

Justus Diller (Münster)
Functional Interpretations of Classical and Constructive Set Theory
March 23rd

Ian Hodkinson (London)
Axiomatising the Modal Logic of Affine Planes
April 27th

Klaus Ambos-Spies (Heidelberg)
Strongly Bounded Turing Reducibilities and Computably Enumerable Sets
May 4th

Dirk van Dalen (Utrecht)
A Survey of Choice Sequences




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

Maintained by: S. B. Cooper