Mercurial Mercurial > hg > public_html / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
updated links
authorChristian Urban <urbanc@in.tum.de>
Sun, 29 Apr 2012 14:04:38 +0100
changeset 108 ca1bed2b025e
parent 107 5c816239deaa
child 109 782599c9a983
updated links
logic.html file | annotate | diff | comparison | revisions
teaching.html file | annotate | diff | comparison | revisions
travelling.html file | annotate | diff | comparison | revisions 
--- a/logic.html	Sun Apr 29 11:29:56 2012 +0100
+++ b/logic.html	Sun Apr 29 14:04:38 2012 +0100
@@ -86,7 +86,7 @@
 <DD><A HREF="http://www-roc.inria.fr/who/Gilles.Dowek/">Gilles Dowek</A></DD>
 <DD><A HREF="http://www.cl.cam.ac.uk/~gw104/">Glynn Winskel</A></DD>
 <DD><A HREF="http://www-users.cs.umn.edu/~gopalan/">Gopalan Nadathur</A></DD>
-<DD><A HREF="http://www.inf.ed.ac.uk/home/gdp/">Gordon Plotkin</A></DD>
+<DD><A HREF="http://homepages.inf.ed.ac.uk/gdp/">Gordon Plotkin</A></DD>
 <DD><A HREF="http://www.mathematik.uni-muenchen.de/~schwicht/">Helmut Schwichtenberg</A></DD>
 <DD><A HREF="http://www.cs.kun.nl/~henk">Henk Barendregt</A></DD>
 <DD><A HREF="http://pauillac.inria.fr/~herbelin/index-eng.html">Hugo Herbelin</A></DD>
--- a/teaching.html	Sun Apr 29 11:29:56 2012 +0100
+++ b/teaching.html	Sun Apr 29 14:04:38 2012 +0100
@@ -209,9 +209,9 @@
 [<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>]
 </ul>
 
 </TD>
--- 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)
public_html