diff -r 5c816239deaa -r ca1bed2b025e travelling.html
--- a/travelling.html Sun Apr 29 11:29:56 2012 +0100
+++ b/travelling.html Sun Apr 29 14:04:38 2012 +0100
@@ -135,14 +135,14 @@
at IJCAR'08 tutorial
(11 August, Sydney)
A course on Nominal Isabelle at the
-Oregon Summer School
+Oregon Summer School
on Logic and Theorem Proving in Programming Languages (22 - 30 July, Eugene, 4h,
[Slides 1],
[Slides 2],
[Slides 3],
- [Video 1],
- [Video 2],
- [Video 3])
+ [Video 1],
+ [Video 2],
+ [Video 3])
Talk at RTA (15 - 17 July, Hagenberg, Austria)
Talk at LICS (24 - 27 June, Pittsburgh)
Talk in Swansea (1 April, hosts: Prof. Roger Hindley, Dr Ulrich Berger)