Parkinson Building Logic at Leeds

Homepage
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 2014

SPRING TERM
January 29th

Konstantin Korovin
(Manchester)
Solving Linear Arithmetic by Reasoning-based Methods
February 12th

Kentaro Fujimoto
(Bristol)
One Disanalogy Between Truth Theories Over Arithmetic and Over Set Theory
February 19th - Joint with Algebra, Logic and Algorithms Seminar

Jonathan Ward
(Leeds)
Evolving Networks: Centrality Metrics and Dynamical Models
February 26th

Andrew Brooke-Taylor
(Bristol)
Evasion of Large Cardinals
March 5th - Joint with Algebra, Logic and Algorithms Seminar

Frank Wolter
(Liverpool)
Ontology-Based Data Access and Non-Uniform Constraint Satisfaction
March 12th

John Truss
(Leeds)
Games on Coloured Ordinals
March 19th - Joint with Algebra, Logic and Algorithms Seminar

Charles Steinhorn
(Vassar College)
Total and Partial Orders in O-minimal Structures and an Application in Mathematical Economics
March 26th - Joint with Algebra, Logic and Algorithms Seminar

Martin Liebeck
(Imperial College, London)
Word Maps on Finite Groups
April 2nd - Joint with Algebra, Logic and Algorithms Seminar

Peter Cameron
(St. Andrews & Queen Mary, London)
Synchronization

All seminars, except where otherwise indicated, will be at 4pm in the Mathematics Active Learning Lab (MALL 1), Level 8 of the School of Mathematics.

Tea at 3.45 pm in the Staff Common Room, School of Mathematics - all welcome.

Seminar organiser - Nicola Gambino


SUMMER TERM
April 30th

Tom Forster
(Cambridge)
tba
May 7th - Joint with Algebra, Logic and Algorithms Seminar

Ann Copestake
(Cambridge)
tba
May 14th

Joel Nagloo
(Leeds)
tba
May 21st

Victoria Gould
(York)
tba
May 28th

Jamshid Derakhshan
(Oxford)
tba

Past logic seminars - 2013, 2012, 2011, 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 & Constructivism Seminar/ LAMPASS archive
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.

The Logic and Language Discussion Group webapage has links to a range of philosophy seminars of possible interest to mathematicians, including the History and Philosophy of Science Centre Seminar Series and the Centre for Metaphysics and Mind Seminar Series.

The

PURE POSTGRADUATE SEMINAR

also features talks of interest to logicians.

Maintained by: S. B. Cooper