David Aspinall's Talks

Here are some slides from talks I've given in the past. Comments and questions about my work are always welcome, please email me at the address below.

Why I'm not (yet) Friends with Facebook. Informal talk given at LFCS Lab Lunch, April 2009.
Mobius Tutorial on Resource Control. Part of Mobius Tutorial given at ETAPS, April 2007.
Beyond Script Management: version of a talk presented at several places in 2006-7, including TYPES 2007 where it was called "Proof Engineering with Proof General".

David R. Aspinall, email david.aspinall@ed.ac.uk.
Contact GPG key (Instant HOWTO)