# Conferences and Seminars

### Paul Taylor

### 10 August 2009

The links on this page are intended to help refresh the memories
of those who actually attended the lectures in question.
Otherwise you may find it easier to look at the relevant
research page instead;
the slides will also be linked from there.
Clicking on the *title* of my talk will take you to the
paper that is most relevant to that particular lecture.
Beware that I have often given many *different* talks
(even about different *papers*) with the same title.
## 2010

**21 June: **
**Category Theory 2010**,
Genova
*Equideductive categories and their logic*,
slides

**14 April: **
**Theory seminar**,
Birmingham University
*Computability for locally compact spaces*

## 2009

**11 November: **
**Università di Padova**,
*An Existential Quantifier for General Topology*,

**6 November: **
**Università di Torino**,
*An Existential Quantifier for General Topology*,

**3 November: **
**Università di Verona**,
*Abstract Stone Duality*,

**17 August: **
**University of Ljubljana**,
(in connection with
Computability and Complexity in Analysis).
*An existential quantifier for general topology*,
slides

**6 August: **
**Categories, Logic and Foundations of Physics**, , London.
*A computable axiomatisation
of the topology of ***R** and **C**,
slides

**5 February: **
**University of Cambridge Computer Laboratory**,
*Equideductive logic and CCCs with subspaces*
slides

## 2008

**9 October: **
**Advances in Constructive Topology and Logical Foundations**, (Sambinfest)
Padova
*Equideductive logic and CCCs with subspaces*
slides

**23 September: **
**Domains Workshop IX**,
Sussex
*Equideductive logic and CCCs with subspaces*
slides

**22-24 August: **
**Computability and Complexity in Analysis**,
Hagen
I didn't present a paper, but I was on the programme committee.

**12 June: **
**University of Ljubljana**,
*The importance of the subspace topology*.

## 2007

**10 July: **
**British Telecom, Adastral Park, Ipswich**,
*Interval analysis without intervals*,
Nancy slides

**7-12 May: **
**Formal Topology**,
Padova
*In defence of Dedekind and Heine-Borel*,
slides
The paper, *A lambda-calculus for real analysis*,
was revised substantially just before the conference.
However, some of the narrative that explains the links
(particularly regarding overtness) with other disciplines
was taken out. I intend to rewrite this to incorportate
the discussions that I have had over the past two years
(in particular in Padova) with a number of people.
During this conference a **brainstorming** session was held
to survey the links between
**overtness**
and other ideas in topology, recursion theory, etc.

**2 February: **
**University of Birmingham**,
*Quadrality*

## 2006

**14 December: **
**Ludwigs-Maximillians-Universität**,
München
*The definitive axiomatisation of ASD (maybe)*,

**28 November: **
**Prifysgol Cymru Abertawe (University of Swansea)**,
*The definitive axiomatisation of ASD (maybe)*,

### South Africa: 2 October - 19 November

**16 November: **
**University of South Africa, Pretoria**,
*A lambda calculus for real analysis*,
Calgary slides

**6-8 November: **
**South African Mathematical Society**,
Universiteit van die Vrystaat, Bloemfontein
*Categorical Sets and Ordinals*,
1995-6 20MB scanned slides

**24 October: **
**University of Cape Town**, (Topology)
*Computably based locally compact spaces*,

**19 October: **
**University of Cape Town**,
(FACS)
*ASD beyond local compactness*,
White Point slides

**18 October: **
**Universiteit van Stellenbosch**,
*A lambda calculus for real analysis*,
Calgary slides

**12 October: **
**University of Cape Town**,
(FACS)
*Interval analysis without intervals*,
Nancy slides

**11 October: **
**University of Cape Town**, (Category Theory)
*Inside every model of ASD lies an arithmentic universe*,

**5 October: **
**University of Cape Town**,
(FACS)
*A curious equation in topology and higher order logic*,

**21-25 August: **
**Modelling Space, Time and Causality**,
Dagstuhl, Saarland
*On the reaxiomatisation of general topology*,
White Point slides

**10-12 July: **
**Real Numbers and Computers 7**,
Nancy, France
*Interval Analysis Without Intervals*,
slides

### Canada: 1 June - 6 July

**4 July: **
**Dalhousie University**,
Halifax, Nova Scotia
*Well Founded Coalgebras - the real thing*,
1995-6 20MB scanned slides

**25 June - 1 July: **
**Category Theory 2006**,
White Point, Nova Scotia
*On the reaxiomatisation of general topology*,
slides

**20 June: **
**McGill University**,
Montréal
*Elementary real analysis in Abstract Stone Duality*,

**14 June: **
**University of Calgary**,
*Interval Analysis Without Intervals*,
RNC slides

**7-9 June: **
**Foundational Methods in Computer Science**,
Kananaskis, Canadian Rockies
*Constructive real analysis without set theory or Turing machines*,
slides

**3-5 June: **
**Canadian Mathematical Society**,
Calgary
*Constructive real analysis without set theory or Turing machines*,
slides

**19 May: **
**University of Leicester**,
*Constructive real analysis without set theory or Turing machines*,
Kyoto slides

**10 May: **
**University of Leeds**,
*Constructive real analysis without set theory or Turing machines*,

**5-7 May: **
**Peripatetic Seminar on Sheaves and Logic 83**,
University of Glasgow
*Constructive real analysis without set theory or Turing machines*,

**19-23 April: **
**Logik in der Informatik**,
Fischbachau, Bavaria
*Constructive real analysis without set theory or Turing machines*,
slides: overheads
and Kyoto slides

**28 March: **
**University of Swansea**,
*Constructive real analysis without set theory or Turing machines*,

**8-13 January: **
**Reliable Implementation of Real Number Algorithms**,
Dagstuhl, Saarland
*Interval Analysis and Computation
Without Intervals*,

## 2005

**2 December: **
**University of Edinburgh**,
*A Lambda Calculus for Real Analysis*,

**14-22 September: **
**University of Ljubljana**,
*A Lambda Calculus for Real Analysis*,

**25-29 August: **
**Computability and Complexity in Analysis**,
University of Kyoto
*The Dedekind Reals in Abstract Stone Duality*,
with Andrej Bauer,
slides
*A Lambda Calculus for Real Analysis*,
slides

**8-12 June: **
**Computability in Europe**,
Universiteit van Amsterdam
*A Lambda Calculus for Real Analysis*,

**2-5 June: **
**Foundational Methods in Computer Science**,
University of British Columbia, Vancouver
*Extension of ASD (from locally compact locales)
to and beyond general locales*,

**11-15 April: **
**Midlands Graduate School**,
University of Birmingham
*Abstract Stone Duality*,
slides: Monday,
Tuesday,
Wednesday

**4-7 April: **
**British Mathematical Colloquium**,
University of Liverpool
*A Lambda Calculus for Real Analysis*,
slides

**18 March: **
**University of Birmingham**,
*A lambda-calculus for real analysis*,

**7 February: **
**University of Oxford**,
*A lambda-calculus for real analysis*,

## 2004

**1-6 November: **
**Andrej Bauer**,
University of Ljubljana
No seminar, but this was my most productive academic visit ever.
It was when the work on the Dedekind reals and analysis began.

**29 August - 2 September: **
**Domain Theory Workshop 7**,
Technical University of Darmstadt
*Tychonov's Theorem in Abstract Stone Duality*,
slides

**12 August: **
**Category Theory and Computer Science 10**,
Copenhagen
*Inside every model of ASD lies an Arithmetic Universe*,
The paper was accepted for the conference,
but I couldn't attend it as I had broken my leg the previous week.

**18 July: **
**Category Theory**,
University of British Columbia, Vancouver
On the Duality between Open and Closed

**14 April: **
**APPSEM**,
Tallinn
Review of Abstract Stone Duality

**3-4 April: **
**80th PSSL**,
University of Cambridge

**18-22 February: **
**University of Cambridge**, (Category Theory, DPMMS)
*The relationship between Abstract Stone Duality
and Joyal's Arithmetic Universes*,

**18-22 February: **
**University of Birmingham**,
*ASD?*,

## 2003

**17-19 November: **
**University of Manchester**,
*Translating ASD into PROLOG*,

**27 October - 2 November: **
**University of Edinburgh**,
*ASD?*,

**7-13 September: **
**Category Theory**,
Haute Bodeux, Belgium
Aspects of Abstract Stone Duality

**25 July: **
**University of Birmingham**,
Abstract Stone Duality

**28-9 June: **
**79th PSSL**,
Utrecht
*An elementary theory of the category of locally compact spaces*,

**30 April - 4 May: **
**Types**,
Turin
The type-theoretic rules of Abstract Stone Duality

**26-28 March: **
**APPSEM Workshop**,
University of Nottingham
*An Elementary Theory of the Category of
Locally Compact Locales*,

## 2002

**11 October: **
**University of Leicester**,
Locally compact spaces in abstract Stone duality

**September: **
**Domains Workshop**, University of Birmingham
Locally compact spaces in abstract Stone duality

**23 August: **
**Dalhousie University**,
Quadrality

**August: **
**Category Theory and Computer Science**,
University of Ottawa
*Local Compactness and the Baire Category Theorem in ASD:
a feasibility study*,

## 2001

**13 October: **
**University of Cambridge**,
(Computer Lab)
Adding Subtypes to a Computational Category to Make it Mathematical

**March: **
**APPSEM**,
Darmstadt
*Subspaces in Abstract Stone Duality*,

## 2000

**16-22 July: **
**Category Theory**,
Como
*Non-Artin Gluing in Recursion Theory and Lifting in ASD*,

I don't have systematic records of my earlier seminars and conferences.
If I have spoken at your seminar or conference in the past
and you email me the details (ideally with a URL for your seminar
or conference), I will be pleased to add it to this list.
This is
`www.PaulTaylor.EU/slides/index.html`
and it was derived from `slides.tex`
which was last modified on 2 July 2010.