Talks (2010)

A talk given at the University of Strathclyde in Glasgow, UK as part of the fun in the afternoon series of meetings. I describe current work with Dominic Mulligan on representing incompleteness in theorem-provers. Thanks to Conor McBride.

A talk given at the 16th meeting on Logic, Algebra, and Calculus at PPS in Paris, France. I talk about applications of nominal rewriting, algebra, and permissive-nominal logic to specifying and reasoning about logic, algebra, and calculus. Thanks to Delia Kesner and DIGITEO.

A talk given at the Typical Seminar at the École Polytechnique in Paris, France. I describe recent work on a representation theorem for the NEW-quantifier. Thanks to Gilles Dowek and DIGITEO.

A talk given in the 2010 British Logic Colloquium in Birmingham, UK. I describe in broad terms names and their symmetry properties. Thanks to Eike Ritter.

A talk given at the 5th International Workshop on Logical Frameworks and Meta-languages in Edinburgh, UK. I discuss the connection between nominal rewriting and nominal algebra. Joint work with Maribel Fernández

I discuss Kripke models of the untyped lambda-calculus at the lovely and exciting meeting in honour of Dana Scott.

Given as part of the Computer Science Seminars in Leicester, UK. I discuss permissive-nominal logic; an extension of first-order logic with names and binding. Thanks to Alexander Kurz.