Talks (2002-04)

Murdoch J. Gabbay.  Slides of a talk given at the departmental colloquium on 24 November 2004.

Murdoch J. Gabbay.  Slides of a talk given in Imperial College, London, on 10 September 2004. Thanks to Stephen Muggleton.

Murdoch J. Gabbay.  Slides of a talk at PPDP’04 on joint work with Maribel Fernandez and Ian Mackie, given in Verona, Italy, on 25 August 2004. See also the paper.

Murdoch J. Gabbay.  Slides of a talk at LICS’04 on joint work with James Cheney, given in Turku, Finland, on 15 July 2004. See also the paper.

Murdoch J. Gabbay, .  We discuss Fresh Logic (joint work with James Cheney) and consider its relation to FOLN a logic by Miller and Tiu, especially in the light of insights from implementation. Talk given to the PARCIFAL group at LIX on 14 May 2004.

Murdoch J. Gabbay.  Talk given at PPS on 4 May 2004.

Murdoch J. Gabbay .  We discuss extensions of the Nominal Terms framework introduced in Nominal Unification. Lots of blue sky, but pretty.

Nominal Rewriting.  We present Nominal Rewriting, an essentially first-order rewriting system with inbuilt support for alpha-equivalence. See also “Incomplete lambda-terms” below. Talk given in LRI in their seminar series (27/2/2004, 10:30am).

Murdoch J. Gabbay, .  We use Nominal Rewriting to specify and discuss a lambda-calculus with meta-variables and explicit substitution. Talk given in LIX as part of a series of informal talks on meta-variables.

Murdoch J. Gabbay, .  Talk given on applying the Curry-Howard correspondence to a novel Restart Logic. Given in the Workshop on Lambda Calculus, Type Theory, and Natural Language in King’s College London, on 9 December at 12:00 on work. See also an extended abstract (pdf).

Murdoch J. Gabbay, .  Talk given on Fresh Logic (a first-order logic for the NEW-quantifier with proof-normalisation) on 2 June at the local group’s weekly Semantics Lunch. See also an abstract.

Murdoch J. Gabbay.  Talk given on May 30 at Fundacao da Faculdade de Ciencias e Tecnologia / University of Lisbon. Thanks to Luis Caires and his department. See also an abstract.

Murdoch J. Gabbay, .  Talk given on May 28 at Fundacao da Faculdade de Ciencias e Tecnologia / University of Lisbon. Thanks to Luis Caires and his department. See also an abstract.

Murdoch J. Gabbay.  I investigate what happens if we consider an FM-like category of objects with a finite name-for-name renaming action (possibly non-injective maps between names) rather than a finite name-for-name permutation action as is the case for FM sets. I obtain a category similar to Schan, but which supports a natural interpretation of weak HOAS. Talk given on March 20 at the ENS Lyon, France. Thanks to Daniel Hirschkoff. See also an abstract.

Murdoch J. Gabbay.  I investigate what happens if we consider an FM-like category of objects with a finite name-for-name renaming action (possibly non-injective maps between names) rather than a finite name-for-name permutation action as is the case for FM sets. I obtain a category similar to Schan, but which supports a natural interpretation of weak HOAS. Talk given on March 13 in Manchester University, thanks to Peter Aczel. See also an abstract.

Murdoch J. Gabbay.  I’ve been using FreshML to program a pet interest of mine; transition systems and bisimulation checkers for the pi-calculus (see [gabbay:thempc]).
I’ll show excerpts from the programs I’ve written and talk about what writing them has taught me about another interest of mine; finding a semantics for restriction as distinct from binding. The sourcecode discussed is the pi-ltsb series of programs above, see [pi-ltsb] above.

Murdoch J. Gabbay.  Talk given on 11/12/2002 at the Japan Advanced Institute of Science and Technology, Ishikawa, on 14/12/2002 at MLG 2002 in Kinosaki, and on 16/12/2002 at ALGI in Kyoto. Thanks to René Vestergaard.

Murdoch J. Gabbay.  Talk given in Pisa on 2/12/2002. Thanks to Ugo Montanari.

Murdoch J. Gabbay.  Talk given in Cambridge on 11/11/2002 at the local group’s “Semantics Lunch”.

Murdoch J. Gabbay.  Talk given at the Max-Planck Institute, Saarbrücken, Germany 24/10/02.

Murdoch J. Gabbay.  Talk given at INRIA Rocquencourt France 11/10/02 and Universit&eacute Paris VII France 14/10/02. Thanks to Gilles Dowek and Pierre-Louis Curien.

Murdoch J. Gabbay.  Talk given at IBM Research, Haifa, Israel 2/10/02. Thanks to Cindy Eisner.

FM-HOL.  Contributed talk at Workshop on Thirty Five years of Automath, Informal Proceedings, Heriot-Watt University, Edinburgh, Scotland, April 2002.