Dirk Pattinson: Recent Talks

January 2005

Data Types for Differentiable Functions. Departmental Seminar, University of Swansea, UK (slides [.dvi|.ps])

January 2005

Domain-Theoretic Solutions of Initial and Boundary Value Problems, Theory Seminar, University of Birmingham, UK (slides [.dvi|.ps])

December 2004

Data Types for Computable Functions, Departmental Seminar, University of Leicester, UK

Nov 2004

A computational Model for Multi-Variable Differential Calculus, Workshop on Constructive Logic and Mathematics, Benediktbeurerm, Germany

Oct 2004

The Domain Theoretic Model of Computation, Departmental Seminar, University of Southampton, UK Germany

August 2004

A Computational Model for Differentiable Functions, CCA 2004, Wittenberg, Germany

Juli 2004

A Domain Theoretic Account of Euler's Method, ICALP 2004, Turku, Finnland

Juni 2004

Euler's Method in Domain Theory, 2nd International Workshop on Scientific Computing, Kopenhagen, Dennmark

April 2004

The Domain Theoretic Model of Exact Computation, Departmental Seminar, Indiana University, Bloomington, USA

November 2003

Towards a Hennessy-Milner Property for Separation Logic. Departmental Seminar, Department of Informatics, Sussex University, UK.

August 2003

Initial Value Problems in Domain Theory. International Conference on Computability and Complexity in Analysis, Cincinnati, USA.

June 2003

Domain Theoretic Methods for Solving ODEs. Meeting of the IFIP Working Group 1.3, Menorca, Spain.

May 2003

A Coinductive Account of Type-2 Computability. Departmental Seminar, Oxford University Computing Laboratory, Oxford, UK.

May 2003

Towards a Complete Calculus for Computations on Coalgebras. International Workshop ``From Sets and Types to Topology and Analysis: Towards Practicable Foundations for Constructive Mathematics'', Venice, Italy.

April 2003

Computable Functions on Final Coalgebras. International Workshop on Coalgebraic Methods in Computer Science, Warsaw, Poland.

March 2003

Coinduction is Complete on Sequence Spaces. First Appsem-II Workshop, Nottingham, UK.