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 2010

AUTUMN TERM
October 6th

Jonathan Pila (Oxford)
O-minimal Structures and Certain Diophantine Problems
October 20th

Richard Elwes (Leeds)
An Amateur's View of Concrete Incompleteness and Recent Results of Harvey Friedman
October 27th

Angus MacIntyre (London)
Issues around proving Fermat's Last Theorem in First-Order Peano Arithmetic
me November 3rd

Cristian Calude (Auckland, New Zealand)
Is Quantum Randomness Pseudo-Randomness?
November 10th in the Leonard Rogers Room, Maths 8-22d

David Evans (Norwich)
Matroid Theory and the Hrushovski Constructions
November 24th

Peter Aczel (Manchester)
What is a set?
December 1st

Davide Penazzi (Leeds)
Hyperdefinable Groups and Internality in Real Closed Valued Fields
December 8th

Paulo Oliva (London)
The Theory of Selection Functions

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


SUMMER TERM
me April 14th

Henri Lombardi (Besançon, France)
A Possible Constructive Semantic for Abstract Objects in Classical Mathematics, and its Relations with Geometric Theories
me April 21st

Ihsen Yengui (Sfax, Tunisia)
Making the Use of Maximal Ideals Constructive
me April 28th

Jochen Koenigsmann (Oxford)
On Hilbert's 10th Problem over ℚ
me May 5th in MALL 2

Olivia Caramello (Cambridge)
The Unifying Role of Toposes in Mathematics
Charles May 12th

Charles Harris (Leeds)
Oracles versus Enumerations: Cupping and Capping in the Local Enumeration Degrees
Roman May 26th in MALL 2

Roman Kossak (New York)
Classification Problems in Models of PA

SPRING TERM
me January 27th

Elham Kashefi (Edinburgh)
Universal Blind Quantum Computing
me February 3rd

Barnaby Dawson (Bristol)
Choices in Generalizing Turing Machines
me February 10th

Robin Knight (Oxford)
Elevation in Type Categories
me February 17th

Jeff Paris (Manchester)
Symmetry's End
February 24th

Michael Rathjen (Leeds)
Slow Consistency
me March 3rd

Monika Seisenberger (Swansea)
Efficient Synthesis of Exact Real Number Algorithms
me March 10th

Alf Onshuus (Oxford)
Some Methods in Neostability Theory
me March 17th

Ulrich Berger (Swansea)
Program Extraction from Proofs: Induction and Coinduction
me March 24th

Wolfgang Merkle (Heidelberg)
Traceable Sets




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