Research talks

(The ones that I remember, anyway.)

  • Álgebra topológica: uma abordagem para a análise de circuitos. Gramado, Brazil, 1987. Décimo Congresso Nacional da Sociedade Brasileira de Matemática Aplicada e Computacional (CNMAC).

  • Um sistema de tipos para Prolog. Vitória, Brazil, 1990. Décimo terceiro Simpósio da Sociedade Brasileira de Computação (SBC).

  • Induction and recursion on the uniform real line. Møller Centre, Cambridge, September 1994. Second Imperial College Workshop on Theory and Formal Methods.

  • PCF extended with real numbers. FernUniversität Hagen, Germany, August 1995. First Workshop on Computability and Complexity in Analysis (CCA).

  • Integration in Real PCF. Imperial College, London, October 1995. First Computation and Approximation Workshop (Comprox).

  • Real PCF extended with existential is universal. Christ Church, Oxford, March 1996. Third Imperial College Workshop on Theory and Formal Methods.

  • Integration in Real PCF. New Brunswick, New Jersey, July 1996. Eleventh Annual IEEE Symposium on Logics in Computer Science (LICS).

  • Many talks in the Mathematics Department of the Technische Hoschule Darmstadt, in four visits in the period 1995-1997.

  • Induction and recursion on the partial real line via biquotients of bifree algebras. Technische Hoschule Darmstadt, Germany, September 1996. Second Computation and Approximation Workshop (Comprox).

  • Real PCF. Birmingham University, School of Computer Science, October 1996.

  • Properly injective spaces and function spaces. Pittsburgh, March 1997. Carnegie Mellon University, Department of Computer Science.

  • Injective spaces and domain theory. Munich, May 1997. Third Workshop on Domains.

  • PCF extended with real numbers: A domain-theoretic approach to higher-order exact real number computation. Brighton, May 1997. University of Sussex, Department of Computer Science.

  • Injective spaces and monads. London, June 1997. Queen Mary and Westfield College, University of London.

  • Induction and recursion on the partial real line via biquotients of bifree algebras. Warsaw, June 1997. Twelfth Annual IEEE Symposium on Logic in Computer Science (LICS).

  • Exact real number computation. Birmingham University, September 1997. MATHFIT Summer school on New Paradigms for Computation on Classical Spaces.

  • Is parallelism unavoidable in exact real number computation? Birmingham University, September 1997. Third Computation and Approximation Workshop (Comprox).

  • Real number computation, domain theory, and PCF. Cambridge University, Department of Computer Science, 1997.

  • Introduction to exact real number computation. University of Edinburgh, February 1998. Computer Science Colloquium.

  • Introduction to Real PCF (invited speaker). Universite Pierre et Marie Curie, Paris, March 1998. Third Conference on Real Numbers and Computers (RNC3).

  • Injectivity, projectivity and denotational semantics. University of Edinburgh, March 1998. Semantics Club talk.

  • On extensions of the programming language PCF with real numbers data types. Indianapolis, June 1998. Tutorial Workshop/Summer Schooon Real Number Computation preceding the IEEE Symposium on Logic in Computer Science (LICS).

  • Computação exata com números reais: teoria e prática. Porto Alegre, Brasil, July 1998. Pontifícia Universidade Católica, Departamento de Matemática.

  • Computação exata com números reais via programação funcional. Porto Alegre, Brasil, July 1998. Pontifícia Universidade Católica, Departamento de Computação.

  • Effective and sequential definition by cases on the reals via infinite signed-digit numerals. Pisa, September 1998. First Workshop on Applied Semantics (APPSEM).

  • A point-free construction of the patch topology (invited speaker). University of Connecticut at Stamford, April 1999. Fifth Northeastern Conference on Topological Methods in Computer Science.

  • Injective spaces, semantic domains and monads. University of Connecticut at Stamford, April 1999. Fifth Northeastern Conference on Topological Methods in Computer Science.

  • Injective spaces, semantic domains and monads.Tulane University, New Orleans, May 1999. Fifteenth Conference on Mathematical Foundations of Programming Semantics (MFPS).

  • On the compact-regular coreflection of a stably compact locale. Tulane University, New Orleans, May 1999. Fifteenth Conference on Mathematical Foundations of Programming Semantics (MFPS).

  • A metric model of PCF. University of Edinburgh, May 1999. Semantics Club talk.

  • Introduction to exact real number computation. University of Edinburgh, May 1999. Informatics Jamboree.

  • Higher-order exact real number computation via domain theory. University of St Andrews, June 1999. Computer Algebra Group meeting.

  • A metric model of PCF. Workshop on Realizability Semantics and Applications, June 30 1999 (associated to the Federated Logic Conference, held in Trento, June 29-July 12, 1999).

    • Back to Martín Hötzel Escardó's home page

    Martin Escardo
    Last modified: Mon Sep 27 09:58:35 BST 1999