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

AUTUMN TERM
July 30th

Antonín Kučera
(Charles University, Prague)
A Cornucopia of Randomness
September 24th

Klaus Ambos-Spies
(Heidelberg)
Numberings and Learnability
October 1st - Joint with Algebra, Logic and Algorithms Seminar

Marco Benini
(University of Insubria, Italy)
Programming Modulo Representations
October 8th

Ekaterina Komendanskaya
(Dundee)
Untyped Recursion and Corecursion in Logic Programming: Computational and Semantic Perspective
October 22nd

Jamie Gabbay
(Heriot-Watt)
Consistency of Quine's NF Using Nominal Techniques
October 29th - Joint with Algebra, Logic and Algorithms Seminar

Neil Ghani
(Strathclyde)
An Algebraic Approach to Parametricity
November 5th

Robert Gray
(East Anglia)
The Word Problem for Semigroups Generated by Idempotents
November 12th - Joint with Algebra, Logic and Algorithms Seminar

Anuj Dawar
(Cambridge)
Tractable Approximations of Graph Isomorphism
November 19th

Lorna Gregory
(Manchester)
tba
November 26th

Peter Koepke
(Bonn)
tba
December 3rd - Joint with Algebra, Logic and Algorithms Seminar

Renate Schmidt
(Manchester)
Forgetting and Uniform Interpolation for Description Logics
December 10th - Joint with Algebra, Logic and Algorithms Seminar

Uwe Egly
(TU Vienna)
tba

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.

Seminar organiser - Nicola Gambino


SUMMER TERM
April 30th

Tom Forster
(Cambridge)
The Axiom of Choice: What It Means and What It Does
May 7th - Joint with Algebra, Logic and Algorithms Seminar

Ann Copestake
(Cambridge)
Computational Semantics of Natural Language: what (if anything) does it have to do with logic?
May 14th

Joel Nagloo
(Leeds)
Model Theory and the Painlevé Equations
May 21st

Victoria Gould
(York)
Finitary Properties for a Monoid S Arising from Model Theory for S-acts
May 28th

Jamshid Derakhshan
(Oxford)
Model Theory, Zeta Functions of Groups, Adeles of Number Fields, and Counting in p-Adic and Finite Fields
June 11th - Joint with Algebra, Logic and Algorithms Seminar

Karteek Sreenivasaiah
(Institute of Mathematical Sciences, Chennai, India)
Verifying Proofs with Very Little Resources

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.


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


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
(and past seminar archive)

also features talks of interest to logicians.

Maintained by: S. B. Cooper