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 2013

AUTUMN TERM
October 9th

Michael Rathjen
(Leeds)
Infinitary Logics: Classical & Intuitionistic
October 16th - Joint with Algebra, Logic and Algorithms Seminar

Mikoláš Janota
(Lisbon)
Solving Quantified Boolean Formulas through Expansion: Theory and Practice
October 23rd

David Aspero
(UEA, Norwich)
Some New Approaches to Iterated Forcing [view SLIDES]
October 30th

Andy Pitts
(Cambridge)
Nominal Sets: introduction & survey
November 6th - in Roger Stevens LT 04

Will Anscombe
(Leeds)
Definability in Power Series Fields F((t)), Parameters from F
November 13th - Joint with Algebra, Logic and Algorithms Seminar

Andrew Lewis-Pye
(London School of Economics)
Digital Morphogenesis via Schelling Segregation
November 20th - Joint with Algebra, Logic and Algorithms Seminar

Kristina Vušković
(Leeds)
Parametrized Algorithm for Weighted Independent Set Problem in Bull-free Graphs
November 27th

Alex Simpson
(Edinburgh)
Adding Real Numbers to System T
December 4th - Joint with Algebra, Logic and Algorithms Seminar

Stanislav Živný
(Oxford)
The Complexity of Finite-Valued CSPs
December 11th - Joint with Algebra, Logic and Algorithms Seminar

Paul Martin
(Leeds)
Fun with Partition Categories

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
May 1st

Stijn Vermeeren (Leeds)
Algorithmic Randomness: an Historical Journey
May 8th - Joint with Algebra, Logic and Algorithms Seminar

Nicola Gambino (Leeds)
Homotopical Algebra, Constructive Logic, and Certified Algorithms
May 22nd in Mall 2 - Joint with Algebra, Logic and Algorithms Seminar

Robert Marsh (Leeds)
Reflection Groups, Cluster Algebras, and Signed Graphs

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.30 pm in the Staff Common Room, School of Mathematics - all welcome.

Seminar organiser - Andrew Lewis-Pye


SPRING TERM
30th January, 2013
JOHN DERRICK MEMORIAL AFTERNOON

A special series of talks in memory of John Derrick, to take place in the MALL (Level 8 of the School of Mathematics). Schedule:
February 6th

Stefan Vatev (Leeds, and Sofia, Bulgaria)
Jump Inversion Theorems for Structures
February 20th, 4:30 - 5:30 (note change of time)

Alex Wilkie (Manchester)
Rational Points on Definable Sets
March 6th

Tom Leinster (Edinburgh)
Rethinking Set Theory
March 20th - Joint with Algebra, Logic, and Algorithms Seminar

Barnaby Martin (London)
A Random Walk through Infinite-domain CSP
April 10th

Tony Cohn (Leeds)
Building Qualitative Models of Spatio-Temporal Behaviour
April 17th

Viv Kendon (Leeds)
Some Recent Results in Quantum Walks


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

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