Talks (2006)

Murdoch J. Gabbay.  A talk given at St Andrew’s University on December 19 at 11:00. We discuss boxology and hierarchical nominal techniques. Thanks to Kevin Hammond.

Murdoch J. Gabbay.  A talk given at the LMU Institut für Informatik in Munich on December 6 at 16:00. We describe nominal algebra, its use to naturally represent meta-level reasoning on theories with binding, then concentrate on a nominal algebra axiomatisation of substitution and argue that ‘variable’ can be modelled as a ‘name plus substitution action’. Thanks to Martin Hofmann.

Murdoch J. Gabbay.  A talk given at Cambridge University Centre for Mathematical Studies as part of the Cameleon meeting on December 2 at 16:00. We show how the model of names given by atoms in Fraenkel-Mostowski sets can be extended with a substitution action to a model of variables. Thanks to Thomas Forster.

Murdoch J. Gabbay.  A talk given at the University of Bath Computer Science Department on November 13 at 11:15. We discuss nominal logic and the slogans ‘logic with names’ versus ‘logic with variables’. Thanks to Mark Price and Alessio Guglielmi.

Murdoch J. Gabbay.  A talk given at the Dependable Systems Group weekly seminar at Heriot-Watt on October 27 at 14:15. We discuss what happens to the lambda binder in the presence of a hierarchy of variables.

Murdoch J. Gabbay.  A brief talk-ette (talk-chen, talk-ino) presented to test my presentation skills as part of the PGCAP course here at Heriot-Watt. They’re trying to make me a better teacher.

Aad Mathijssen.  A talk presented in the 18th Nordic Workshop on Programming Theory (NWPT’06) at Reykjavík University in Iceland. I include slides of Aad’s excellent talk here at his request. The corresponding abstract is here.

Murdoch J. Gabbay.  A talk given at the Scottish Theorem Proving meeting in the School of computer science at St Andrew’s University on October 13. We give a position talk on nominal techniques considered useful as a means to generalise compositionality. Thanks to Phil Trinder and Rob Rothenberg.

Murdoch J. Gabbay.  A talk given at the DREAM workshop of the mathematical reasoning group at Edinburgh University on August 31. We speculate on higher-order logic in the NEW calculus of contexts.

Murdoch J. Gabbay (presented by James Cheney).  Kindly presented on my behalf by James Cheney at LFMTP’2006 in Seattle, USA on Wednesday 16 August 2006 at 10:30.

Murdoch J. Gabbay.  Presented at PPDP’2006 in Venice, Italy on Tuesday 11 July 2006 at 16:30.

Murdoch J. Gabbay.  Presented at the CANS seminar at King’s College London on Thursday 22 June 2006 at 3pm. Thanks to Maribel Fernández.

Murdoch J. Gabbay.  Presented at the CISA/LFCS seminar at Edinburgh University on Tuesday 13 June 2006 at 4pm in room 4.03. Thanks to Lucas Dixon. (See also a revised and extended version.)

Murdoch J. Gabbay.  Presented at the programming languages group in Tel-Aviv University at 14:00 on Sunday 28 May. Thanks to Mooly Sagiv.

Murdoch J. Gabbay.  Presented as part of a course in Tel-Aviv University at 12:00 on Sunday 28 May.

Murdoch J. Gabbay.  Presented as part of a course in Tel-Aviv University in 210 Schreiber at 12:00 on Sunday 14 May. Also see gabbay:newcc.

Murdoch J. Gabbay.  Presented as part of a course in Tel-Aviv University in 210 Schreiber at 10:30 on Thursday 11 May. Also see gabbay:capasn and gabbay:subaan.

Murdoch J. Gabbay.  Presented as part of a course in Tel-Aviv University in 210 Schreiber at 10:30 on Thursday 4 May. Thanks to Nachum Dershowitz. Presented again at the Tel-Aviv University computer science departmental seminar at 10:00 on Tuesday 9 May. Only got half way through thanks to dilligent questioning; I will deliver the second half at 10:00 on Tuesday 16 May.
See papers gabbay:noma for the first half, and gabbay:onaah for the second.

Murdoch J. Gabbay.  Presented at the Departmental Seminar at the Universidad Politecnica de Madrid on March 31. We give an overview of (one large part of) our research, focussing on ‘nominal’. Thanks to Manuel Hermenegildo, Juan-Jose Moreno, and Jim Lipton for the invitation to visit.

Murdoch J. Gabbay.  A research seminar given with the Babel group at the Universidad Politecnica de Madrid on March 31. We discuss our recent axiomatisation of substitution, and the NEW calculus of contexts, suggesting connections with logic programming and describing what we think might naturally be done next in this area. Thanks to Julio Marino.

Murdoch J. Gabbay.  Presented at the Scottish Theorem Proving Meeting at Heriot-Watt University on March 17. We describe what we think is probably a uniform sets-based semantics for linear logic and bunched implications. Thanks to Andrew Ireland.
I repeated this talk as a research seminar with the Babel group at the Universidad Politecnica de Madrid on March 28 with title “A concrete semantics for truth in bunched implications and linear logic?” Thanks to Julio Marino.

Murdoch J. Gabbay.  Departmental colloquium given at King’s College London on March 13. We describe an axiomatisation of substitution in ‘nominal style’ and discuss its set-based semantics. Thanks to Iman Poernomo.

Murdoch J. Gabbay.  Departmental seminar given at Heriot-Watt on March 6. We report on joint work with Joe Wells in which we consider semantics for multiplicative and additive implication. Thanks to Lilia Georgieva.

Samuel Rota Bulo and Andrea Marin.  Report on joint research carried out with two students, Samuel Rota Bulo and Andrea Marin, in the framework of a course taught in the University of Venice. Presented by the students on March 1. Thanks to their tutor Simonetta Balsamo.

Murdoch J. Gabbay.  Talk given at the Scottish Programming Languages Seminar on February 1. We describe the NEW calculus of contexts, a lambda-calculus which tries to understand the meta-level/object-level split. Thanks to Edwin Brady. (I gave similar talks before in Turin, Italy and at PPDP’05 in Lisbon, Portugal.)

Murdoch J. Gabbay.  Talk given at Venice University on January 24. In reaction to the question “So what is it that you do?”, I give an initially non-technical description of the motivations (as I see them) for that part of my work to date which has to do with nominal techniques. Thanks to Annalisa Bossi.

Murdoch J. Gabbay.  Talk given at the computational logic colloquium at Innsbruck University on January 23. We describe nominal rewriting as a meta-level framework for specifying rewriting, which accurately reflects the instantiation behaviour of meta-level variables with respect to object-level binding. We then expatiate way over the time limit on the general context of our research. Thanks to Aart Middeldorp for inviting me and to Georg Moser for making it happen.

Murdoch J. Gabbay.  Talk given at the Turin workshop on implicit computational complexity on January 19. We describe the NEW calculus of contexts, a lambda-calculus which tries to understand the meta-level/object-level split. Thanks to Simona Ronchi della Rocca. (A corrected and slightly modified version of a talk given at PPDP’05.)

Murdoch J. Gabbay.  Talk given at the ULTRA group seminar at Heriot-Watt on January 9. We discuss the FM model of abstraction, and briefly suggest its usefulness for both inductive and coinductive types. Thanks to Lilia Georgieva.