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 2012

AUTUMN TERM
October 3rd

Mehrnoosh Sadrzadeh (Oxford)
Compact Closed Categories and Frobenius Algebras for Computing Natural Language Meaning
October 24th

Peter Schuster (Leeds)
When Irreducibles are Prime
October 31st

Aaron Sloman (Birmingham)
An Introduction to the Meta-Morphogenesis Project: How can a cloud of dust give rise
to a planet full of life and mental activity - including mathematics?
November 14th in MALL 2

Marco Benini (Leeds)
Intuitionistic First-Order Logic: Categorical semantics via the Curry-Howard Isomorphism
November 21st

Katrin Tent (Münster)
Tits, Rado, Urysohn: Simple Groups on Homogeneous Structures
December 5th

Mirna Dzamonja (East Anglia)
Forcing Axioms
December 12th

Olaf Beyersdorff (Leeds)
Propositional Proof Complexity

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


SUMMER TERM
April 18th

Volker Halbach (Oxford)
Self-reference
May 23rd

Sara Negri (Helsinki)
Design of Proof Systems: The Pros and Cons of Harmony
May 30th

Robert Lubarsky (Florida)
The Hat Game


SPRING TERM

January 18th - THE 2012 LÖB LECTURE

Angus Macintyre
(Queen Mary, University of London)

Logic and Arithmetic: Models, Definitions, Proofs
January 25th

Angsheng Li (Beijing)
Local Theory of Networks: Principles, Methods and Experiments
February 15th in MALL 2

Peter Schuster (Leeds)
A Proof Pattern in Algebra
February 22nd

Anand Pillay (Leeds)
First Order Theories
March 7th

Helmut Schwichtenberg (Munich)
Proofs and Computations
March 21st

Alena Vencovská (Manchester)
Symmetry in Inductive Logic
Thursday April 5th (note change of date)

Benno van den Berg (Utrecht)
Nonstandard Analysis and Proof Theory




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

PURE POSTGRADUATE SEMINAR

also features talks of interest to logicians.

Maintained by: S. B. Cooper