Selected Talks

• J. Glimming, Towards Parametric Direcursion: Structured Mixed-Variant Recursion With Parameters, University of Cambridge, May 18, 2009. Seminar for the Semantics, Logic, and Programming Group.
  abstract
• J. Glimming, Towards Parametric Direcursion, University of Birmingham, March 13, 2009. Seminar in the Theory Series, School of Computer Science. Hosted by Achim Jung.
  abstract
• J. Glimming, Towards Parametric Direcursion, University of Swansea, February 17, 2009. Seminar in the Computer Science Proof, Complexity and Verification Seminar Series (Departmental Colloquium, Computer Science). Hosted by Ulrich Berger.
  abstract
• J. Glimming, Primitive Direcursion vs. (Co)Iteration, University of Edinburgh, LFCS, October 2006. Seminar for in the Logic and Semantics series (A. Simpson, G. Plotkin).
  abstract
• J. Glimming, Dialgebraic Semantics of Typed Object Calculi, TU of Dresden, January 20, 2006. Invited seminar at the Institute of Theoretical Computer Science (T. Uustalu).
  abstract
• J. Glimming, Dialgebraic Techniques for Object-Based Programs, Cybernetics Institute, March 15, 2005. Department seminar given while visiting Tarmo Uustalu.
• J. Glimming, Recursion Parameterised by Monads: Characterisation and Lifting, University of Wales-Swansea, December 9, 2003. Invited seminar chaired by Prof. F. Moller, Swansea.
  abstract