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 2015

AUTUMN TERM
September 30th
- Joint with Algebra, Logic and Algorithms Seminar, in Roger Stevens Lecture Theatre 13 - note room-change

Lovkush Agarwal
(University of Leeds)
Continuum Many Maximal-closed Subgroups of Sym(N) via Reducts of Henson Digraphs.
October 7th

Benno van den Berg
(ILLC, University of Amsterdam)
Arithmetical Conservation Results and Goodman's Theorem
October 14th

Arno Pauly
(Cambridge University)
Connecting Topological Dimension Theory and Recursion Theory
November 11th
- Joint with Algebra, Logic and Algorithms Seminar , in Roger Stevens Lecture Theatre 13 - note room-change

Mark Jerrum
(Queen Mary, University of London)
tba
November 18th
- Joint with Algebra, Logic and Algorithms Seminar

Martin Otto
(TU-Darmstadt)
tba
November 25th
- Joint with Algebra, Logic and Algorithms Seminar

Immanuel Halupczok
(University of Leeds)
tba
December 2nd
- Joint with Algebra, Logic and Algorithms Seminar

Daniela Kühn
(University of Birmingham)
tba
December 9th


Robert Lubarsky
(Florida Atlantic University)
tba

All seminars, except where otherwise indicated, will be at 4pm in the MALL, Level 8, School of Mathematics.

Tea from 3.30pm will be in the Staff Common Room (Level 9, School of Mathematics) - all welcome.

Seminar organisers - Nicola Gambino, Olaf Beyersdorff


SUMMER TERM
April 22nd
- Joint with Algebra, Logic and Algorithms Seminar

James Mitchell
(University of St. Andrews)
Effective Computation with Finite Semigroups
April 29th

Imre Leader
(Cambridge University)
The Continuous Homomorphism Problem
May 6th
- Joint with Algebra, Logic and Algorithms Seminar

Einar Steingrimsson
(University of Strathclyde)
The Topology and Möbius Function of the Permutation Pattern Poset
May 13th

Anton Setzer
(Swansea University)
Pattern and Copattern Matching [view SLIDES]
May 20th
- Joint with Algebra, Logic and Algorithms Seminar, in Engineering (Houldsworth) Building, Lecture Theatre E - note room-change.

Heribert Vollmer
(University of Hanover)
Team-based Logics on Kripke Structures
May 27th
- at 3:15-4:45pm in Baines Wing G.36 - Joint with the Centre for History and Philosophy of Science (HPP) & the Centre for Metaphysics and Mind (CMM) - note change of time and place

Catarina Dutilh Novaes
(University of Groningen)
Reductio Proofs From A Dialogical Perspective
June 17th
- Joint with Algebra, Logic and Algorithms Seminar

Ilario Bonacina
(Sapienza University of Rome)
Strong Size Lower bounds in Resolution via Games

All seminars, except where otherwise indicated, will be at 4pm in the Engineering (Houldsworth) Building, Lecture Theatre B.

Tea from 3.30pm will also be in the Engineering Building (Staff Common Room 3.09 on the 3rd floor) - all welcome.


SPRING TERM
January 21st

Hector Zenil
(Karolinska Institute & Oxford University)
Numerical Approximations to Uncomputable Complexity Functions
January 28th

Alex Simpson
(Edinburgh University)
Independence Set Theory and Randomness
February 4th

Alessandro Berarducci
(University of Pisa)
Hardy Fields, Surreal Numbers, Derivations
February 11th

Krzysztof Krupiński
(University of Wroclaw)
Profinite Groups and Rings From Some Model-Theoretic Perspectives
February 18th
- Joint with Algebra, Logic and Algorithms Seminar

Leonid Libkin
(Edinburgh University)
Homomorphism Preservation Theorems and Incomplete Information in Databases
February 25th

Thomas Streicher
(TU Darmstadt)
Computability for Basic Quantum Theory based on the Hilbert Lattice
March 11th

Boris Zilber
(Oxford University)
Geometric Dualities and Model Theory [view SLIDES]
March 18th
- Joint with Algebra, Logic and Algorithms Seminar

Christoph Wintersteiger
(Microsoft Research, Cambridge)
Exact Solutions to Floating-Point Arithmetic Formulas


Past logic seminars - 2014, 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
(and past seminar archive)

also features talks of interest to logicians.

Maintained by: S. B. Cooper