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.