Parkinson Building Logic at Leeds

People
Research
Seminars
Postgrad
opportunities

Pure
Department

School of
Mathematics

University
of Leeds

Some
outside links

Graduate
courses

Homepage



UNIVERSITY OF LEEDS
Department of Pure Mathematics
Logic Seminar 2006

AUTUMN TERM
felix September 13th
Felix Costa
(Lisbon)
A Kleene's Theory of Real Valued Functions
victor October 4th
Victor Selivanov
(Novosibirsk/Würzburg)
Theoretical computer science oriented variations on the Wadge reducibility
borovik October 11th
Alexandre Borovik
(Manchester)
Permutation groups of finite Morley rank
monika October 18th
Monika Seisenberger
(Swansea)
Program Extraction from proofs: Theory and Practice
annelies October 25th
Annelies Gerber
(Paris)
Mathematical models for propositional proof systems and complexity
duncan November 1st
Andrew Duncan
(Newcastle)
Tarski's conjectures and equations in groups
achim November 8th
Achim Jung
(Birmingham)
On the bi-topological nature of Stone Duality
bahareh November 15th
Bahareh Afshari
(Leeds)
Post's Programme for the Ershov Hierarchy
hasson November 22nd
Assaf Hasson
(Oxford)
Some open questions concerning Hrushovski's amalgamation constructions and the classification of strongly minimal geometries
alex December 6th - two seminars:
2.30pm in room G
Alex Wilkie
(Oxford)
Adding a multiplicative group to a polynomially bounded structure
philip 4.15pm in room H
Philip Welch
(Bristol)
The Inner Model Hypothesis

All lectures - unless indicated otherwise - will be held on Wednesdays at 4 pm in room H, Mathematics building. Tea at 3.40 pm in the Staff Common Room - all welcome.
Seminar organiser - Michael Rathjen

SUMMER TERM
April 26th
Gerhard Jäger
(Bern)
Remarks on operational set theory
May 10th
2pm - Paul Taylor
(Manchester)
Computable Real Analysis without Set Theory or Turing Machines
4pm - Vadim Puzarenko
(Novosibirsk)
Computability over Admissible Sets
July 12th
Alexandra A. Soskova
(Sofia)
Degree Spectra of Structures
Copy of slides (pdf file)


SPRING TERM
Friday January 13th, 2pm in Maths. Classroom G
Thomas Scanlon
(U.C. Berkeley)
Solution of Pop's Conjecture
February 1st
Anand Pillay
(Leeds)
Model theory - pure and applied
February 8th
Jeffrey Burdges
(Manchester and Lyon)
Genericity arguments in connected groups of finite Morley rank
February 15th
Andreas Weiermann
(Utrecht)
The Ackermann function in finite combinatorics
February 22nd
Jonathan Kirby
(Oxford)
Using model theory to solve equations
March 1st
Robert Lubarsky
(Florida Atlantic University)
Dedekind and Cauchy Reals in Intuitionistic Set Theories
March 15th
Barry Cooper
(Leeds)
A Logical Overview of Natural Computation
March 22nd
John Truss
(Leeds)
Some homogeneous and partially homogeneous structures

Wednesday March 8th
SIGLaC half-day meeting on Mathematical Aspects of Computation
with speakers Alan Selman and others
1.30--5.00pm in the Staff Meeting Room, Room 9.31, School of Computing
1.00pm Welcome and Buffet Lunch, 3.30pm Tea/Coffee


Past logic seminars - 2005, 2004, 2003, 2001, 2000, 1999, 1998


Other Seminars

As well as the regular Logic Seminar, there are various occasional seminars associated with individual research subgroups, some of these held jointly with the Manchester logicians.

Computability Seminar Model Theory 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
Pure Postgraduate Seminar
also features talks of interest to logicians.


Maintained by: Barry Cooper