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)