Alex Simpson: Talks


Selected Talks

Talks are listed in reverse chronological order. They are available in pdf (and sometimes also postscript). If you would like another format then please contact me: Alex.Simpson@inf.ed.ac.uk

Category-theoretic structure for conditional independence (pdf)
Talk at Category Theory Seminar.
DPMMS, University of Cambridge, 25th February 2014.

Real Numbers in Type Theory (pdf)
Invited 3-lecture course at Days in Logic
Universidade do Minho, Braga, Portugal, January 2014.

Conditional Independence in Categories (pdf)
Invited talk at Topology, Algebra, and Categories in Logic (TACL) 2013
Vanderbilt University, Nashville, USA, July-August 2013

Cyclic Arithmetic (in context) (pdf)
Invited talk at Collegium Logicium 2012
LIX, Palaiseau, Paris, November 2012.

Categorical axioms for functional real-number compuation
Invited tutorial at MAP 2011, Lorentz Center, Leiden, Netherlands, November-December 2011, given jointly with Martín Escardó.
Parts 1 and 2, given by Martín (pdf for animation)
Parts 3 and 4, given by me (pdf for animation, pdf handout)

Sequent calculus for (probabilistic) process verification (pdf)
Invited talk at MFPS 2011
Carnegie Mellon University, Pittsburgh, USA, May 2011

On Proof by Infinite Descent (pdf)
Invited talk at ALCOP 2011
Bern, Switzerland, April 2011

A Generic Operational Metatheory for Algebraic Effects (pdf)
(Corrected version of) talk given at LICS 2010, Edinburgh, July 2010

Linear Types for Continuations (pdf)
Invited talk at LOLA Workshop.
FLoC, Edinburgh, July 2010

Linearly-used Continuations and Self-duality (pdf)
Invited talk at Linearity Workshop.
Coimbra, Portugal, September 2009

The Locale of Random Sequences (pdf)
Invited talk at Continuity, Computability, Constructivity - From Logic to Algorithms
Cologne, July 2009
(Supersedes 2007 and 2008 talks with same title below.)

Linear Types for Computational Effects (pdf)
Invited talk at Principles of Programming Languages - POPL '09
Savannah, Georgia, USA, January 2009.

"Spaces of Valuations" Revisited (pdf)
Invited talk at New Interactions Between Analysis, Topology and Computation.
Birmingham, January 2009.

The Locale of Random Sequences (pdf)
Oxford OASIS Seminar and Leeds Logic Seminar, November 2008.
(Superseded by July 2009 talk with same title.)

Intuitionistic Set Theories and their Models (pdf)
Invited talk at XXIII Incontro di Logica
Genova, Italy, February 2008.

Neoclassical domain theory (postscript, pdf)
Invited talk at Domains VIII and Computability over Continuous Data Types
Novosibirsk, Siberia, Russia, September 2007

Formal Borel sets - a proof-theoretic approach (postscript, pdf)
Slightly expanded (August 2007) version of joint LICS/Logic Colloquium talk
Wroclaw, Poland, July 2007
(Announced in conference programmes as Non-well-founded proofs)

Relational Parametricity for Computational Effects (pdf)
Talk given at LICS 2007, Wroclaw, Poland, July 2007

The Locale of Random Sequences (postscript, pdf)
Talk given at 3rd Workshop on Formal Topology,
Università di Padova, Italy, May 2007
(Superseded by November 2008 and July 2009 talks with same title.)

Beyond Classical Domain Theory (postscript, pdf)
Tutorial given at Mathematical Foundations of Programming Semantics XXIII,
Tulane University, New Orleans, April 2007

Probabilistic Observations and Valuations (postscript, pdf)
Talk at Mathematical Foundations of Programming Semantics XXI, special session on domain theory and topology,
University of Birmingham, May 2005

Reduction in a Linear Lambda-calculus with Applications to Operational Semantics (postscript, pdf)
Talk at Rewriting Techniques and Applications,
Nara, Japan, April 2005.

Parametric Polymorphism, Strictness and Recursion (postscript, pdf)
Invited talk at Mathematical Foundations of Programming Semantics XX,
CMU, Pittsburgh, May 2004

Axioms for Synthetic Domain Theory (postscript, pdf)
Talk in Logical Foundations of Programming Semantics, special session at 2004 Annual Meeting of Association of Symbolic Logic and MFPS XX
CMU, Pittsburgh, May 2004