
UNIVERSITY OF LEEDS
Department of Pure Mathematics
Logic Seminar 2010
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.

SUMMER TERM 
April 14th
Henri Lombardi
(Besançon, France)
A Possible Constructive Semantic for Abstract Objects
in Classical Mathematics,
and its Relations with Geometric Theories

April 21st
Ihsen Yengui
(Sfax, Tunisia)
Making the Use of Maximal Ideals
Constructive

April 28th
Jochen Koenigsmann
(Oxford)
On Hilbert's 10th Problem over ℚ

May 5th in MALL 2
Olivia Caramello
(Cambridge)
The
Unifying Role of Toposes in Mathematics

May 12th
Charles Harris
(Leeds)
Oracles versus Enumerations: Cupping and Capping in the Local
Enumeration Degrees

May 26th in MALL 2
Roman Kossak
(New York)
Classification Problems in Models of PA

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.
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
also features talks of interest to
logicians.
