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 2009

AUTUMN TERM
October 14th

Tin Lok Wong (Birmingham)
The Role of Ramsey's Theorem in End-Extension Constructions
October 21st at 2.30pm in the MALL

2.30pm - Anthony Morphett (Leeds and Melbourne)
Relative Randomness and Prompt Enumerations

me
4.00pm - Robert L. Constable (Cornell)
Recent Advances in Computational Type Theory
October 28th

Mike Prest (Manchester)
Abelian Categories and Coherent Theories
November 4th

John Truss (Leeds)
Elementary Equivalence of Coloured Linear Orders

November 4th

Michael Rathjen (Leeds) - POSTPONED
Large Cardinals, Gödel, and the Absolute
peter November 18th at 2.30pm in the MALL - Joint Workshop with the Philosophy Department

2.30pm - Anand Pillay (Leeds)
Recovering Mathematics from Logic

me
4.00pm - Robert Williams (Leeds)
Probability and Non-Classical Logic
November 25th

Andrew Brooke-Taylor (Bristol)
Indestructibility of Vopenka's Principle
susan December 2nd

Susan Stepney (York)
The Neglected Pillar of Material Computation
December 9th

Ragab Elageili (Leeds)
Free Heyting Algebras

me December 9th

Elham Kashefi (Edinburgh) - POSTPONED
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


SUMMER TERM
April 22nd

Gareth Jones (Manchester)
A Decidability Result for the Real Field with a Generic Power Function
April 22nd - CANCELLED

Peter Hinman (Michigan)
tba
April 29th

Dag Normann (Oslo)
Continuous vs Sequential Functionals - Harmony or Disharmony?
May 6th

John Tucker (Swansea)
Experiments, Measurements and Algorithms

SPRING TERM
January 14th

Antonio Montalbán (Chicago)
The Jump of a Structure
January 21st

Peter Koepke (Bonn)
Wellordered Structures and Condensation
February 4th

Peter Schuster (München/Leeds)
Nullstellensätze and Spatiality
peter February 11th at 2.30pm in the MALL - Joint workshop with the Philosophy Department

2.30pm - Mark Hogarth (Cambridge)
Pure Mathematics without Turing's Thesis

me
3.50pm - Barry Cooper (Leeds)
From Descartes to Turing: The Computational Content of Supervenience
February 18th

Arnold Beckmann (Swansea)
The Quest for a Classification of Search Problems
February 25th

Stephan Kreutzer (Oxford)
Computing Excluded Minors
March 4th at 2.30pm - Two talks

2.30pm - Pietro dello Stritto (Leeds)
Model Theory of Some Point-Line Incidence Structures

Barbara
4.00pm - Barbara Csima (Waterloo)
The Complexity of the Upper Central Series of Computable Nilpotent Groups
March 11th

Natasha Alechina (Nottingham)
Logic of Coalitional Ability under Bounded Resources



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

Computability Seminar Model Theory: Seminar and Postgraduate Seminar 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 History and Philosophy of Science (HPS) Seminar Programme, the Philosophy Seminar Programme, 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