--- 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 <A HREF="http://www.ijcar.org/2008/" target="_top">IJCAR'08</A> tutorial
      (11 August, Sydney)
 <LI> A course on Nominal Isabelle at the
-<A HREF="http://www.cs.uoregon.edu/research/summerschool/summer08/">Oregon Summer School 
+<A HREF="http://www.cs.uoregon.edu/Research/summerschool/summer08/">Oregon Summer School 
 on Logic and Theorem Proving in Programming Languages</A> (22 - 30 July, Eugene, 4h,
    [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/oregon1.pdf">Slides 1</A>],
    [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/oregon2.pdf">Slides 2</A>],
    [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/oregon3.pdf">Slides 3</A>],
-   [<A HREF="http://www.cs.uoregon.edu/research/summerschool/summer08/video/July25Lect3.wmv">Video 1</A>],
-   [<A HREF="http://www.cs.uoregon.edu/research/summerschool/summer08/video/July26Lect2.wmv">Video 2</A>],
-   [<A HREF="http://www.cs.uoregon.edu/research/summerschool/summer08/video/July24Lect1.wmv">Video 3</A>])
+   [<A HREF="http://www.cs.uoregon.edu/Research/summerschool/summer08/video/July25Lect3.wmv">Video 1</A>],
+   [<A HREF="http://www.cs.uoregon.edu/Research/summerschool/summer08/video/July26Lect2.wmv">Video 2</A>],
+   [<A HREF="http://www.cs.uoregon.edu/Research/summerschool/summer08/video/July24Lect1.wmv">Video 3</A>])
 <LI> Talk at RTA (15 - 17 July, Hagenberg, Austria)
 <LI> Talk at LICS (24 - 27 June, Pittsburgh)
 <LI> Talk in Swansea (1 April, hosts: Prof. Roger Hindley, Dr Ulrich Berger)