Talks (2007)

Church art photo
Church art photo

14 Nov 07
TU/e, the Netherlands

Nominal techniques: present, and future prospects

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.

200711-tue   [ pdf ] [ video ]
 

15 Jul 07
LFMTP, Bremen, Germany

The lambda context calculus

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.

200707-lfmtp   [ pdf ] [ video ]
 

25 Jun 07
RDP, Paris, France

a-logic with arrows

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.

200706-wflp   [ pdf ] [ video ]
 

15 Jun 07
Edinburgh Uni, UK

Resourceful truth: elementary models of resource-sensitive logics

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.

200706-rest-2   [ pdf ] [ video ]
 

4 Jun 07
QMW, London, UK

Resourceful truth: elementary models of resource-sensitive logics

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

200706-rest   [ pdf ] [ video ]
 

27 May 07
ICMS, Edinburgh, UK

Names, computations, logics: the hole story.

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’.

200705-mattas   [ pdf ] [ video ]
 

18 May 07
Heriot-Watt Uni, Edinburgh, UK

Strange but true! 2nd year undergraduates chat all night online about logic course.

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.

20070518-strbts   [ pdf ] [ video ]
 

8 March 07
Edinburgh Uni, UK

Fraenkel-Mostowski atoms model variables as well as names

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.

 

27 Feb 07
City Uni, London, UK

Names and variables

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.

200702-city   [ pdf ]
 

20 Feb 07
Heriot-Watt Uni, Edinburgh, UK

Fraenkel-Mostowski atoms model variables as well as names

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.

200702-hw   [ pdf ]