gabbay:200711-tue
Murdoch J. Gabbay Nominal techniques: present, and future prospects 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.
[ps] [pdf]
A video is online here: [Google video]
gabbay:200707-lfmtp
Murdoch J. Gabbay The lambda context calculus A talk given at LFMTP, part of CADE'07 near Bremen on July 15 at 17:00. Joint work with Stephane Lengrand.
[ps] [pdf]
A video is online here: [Google video]
gabbay:200706-wflp
Murdoch J. Gabbay a-logic with arrows A talk given at WFLP, part of RDP'07 in Paris on June 25 at 11:00. Joint work with Michael Gabbay.
[ps] [pdf]
A video is online here: [Google video]
gabbay:200706-rest-2
Murdoch J. Gabbay Resourceful truth: elementary models of resource-sensitive logics A talk given at the LFCS logic and semantics club in Edinburgh University on June 15 at 13:00. Thanks to Bartek Klin.
[ps] [pdf]
A video is online here: [Google video]
gabbay:200706-rest
Murdoch J. Gabbay Resourceful truth: elementary models of resource-sensitive logics A talk given at Queen Mary and Westfield New College on June 4 at 15:30. Thanks to Hongseok Yang.
[ps] [pdf]
A video is online here: [Google video]
gabbay:200705-mattas
Murdoch J. Gabbay Names, computations, logics: the hole story. 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 Fernandez, Pitts, and Stark. I describe my current take on ‘nominal techniques’.
[ps] [pdf]
A video is online here: [Google video]
gabbay:20070518-strbts
Murdoch J. Gabbay Strange but true! 2nd year undergraduates chat all night online about logic course. 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.
[ps] [pdf]
A video of the talk is now online [Google video]. It's 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.
gabbay:200703-spls
Murdoch J. Gabbay Fraenkel-Mostowski atoms model variables as well as names, 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.
[ps] [pdf]
gabbay:200702-city
Murdoch J. Gabbay Names and variables, 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.
[ps] [pdf]
gabbay:200702-hw
Murdoch J. Gabbay Fraenkel-Mostowski atoms model variables as well as names, 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.
[ps] [pdf]