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.