Talks (2007)

Murdoch J. Gabbay.  A talk given in the Prose seminar series at TU/e in Eindhoven on November 14 at 15:30. I talk about what I’m doing now and where I think things should be going; useful viewing for anybody reviewing one of my project proposals, perhaps.

Murdoch J. Gabbay.  A talk given at LFMTP, part of CADE’07 near Bremen on July 15 at 17:00. Joint work with Stephane Lengrand.

Murdoch J. Gabbay.  A talk given at WFLP, part of RDP’07 in Paris on June 25 at 11:00. Joint work with Michael Gabbay.

Murdoch J. Gabbay.  A talk given at the LFCS logic and semantics club in Edinburgh University on June 15 at 13:00. Thanks to Bartek Klin.

Murdoch J. Gabbay.  A talk given at Queen Mary and Westfield New College on June 4 at 15:30. Thanks to Hongseok Yang.

Murdoch J. Gabbay.  A talk given at the Mathematical Theories of Abstraction, Substitution and Naming in Computer Science in ICMS, Edinburgh on May 27 at 12:05. Thanks to the organisers Fernández, Pitts, and Stark. I describe my current take on ‘nominal techniques’.

Murdoch J. Gabbay.  A talk given at the Flexible Learning Conference in Edinburgh at Heriot-Watt on May 18 at 14:05. I discuss my experience teaching the F22HO2 ‘formal specification’ course, and in particular the success of a message board I set up for the course, which attracted 1600 posts in five weeks and which remains active today. [The video] is the worst video in the history of worst videos. I’ll do better next time. I put the camera on the projector so it picked up the noise from the fan. Also, the screen is overexposed and all washed out.

Murdoch J. Gabbay.  A talk given at SPLS in Edinburgh on March 8 at 14:30. In this non-technical talk, we discuss a recent paper in which I exhibit a capture-avoiding substitution action on the Fraenkel-Mostowski sets universe. This suggests a new view of variables as denotational objects (names with a substitution action). Thanks to Kenneth MacKenzie.

Murdoch J. Gabbay.  A talk given at City University on February 27 at 12:00. We discuss our research intentions to investigate denotations in which names are first-class denotational citizens; why one might want to do this, and how we are doing it. Thanks to Artur Garcez.

Murdoch J. Gabbay.  A talk given at Heriot-Watt University on February 20 at 14:00. We discuss a recent paper in which I exhibit a substitution action on the Fraenkel-Mostowski sets universe. Thanks to Pierluigi Frisco.