Mercurial Mercurial > hg > public_html / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
teaching.html
changeset 24 1afb9462ea70
parent 23 3c1a98a18f92
child 39 160040af338e 
--- a/teaching.html	Fri Oct 28 10:16:45 2011 +0100
+++ b/teaching.html	Fri Oct 28 14:43:57 2011 +0100
@@ -2,7 +2,7 @@
 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
 <HEAD>
 <TITLE> Christian Urban </TITLE>
-<BASE HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/">
+<BASE HREF="http://www.inf.kcl.ac.uk/staff/urbanc/">
 <script type="text/javascript">
 
   var _gaq = _gaq || [];
@@ -40,18 +40,18 @@
     ROWSPAN="13">
 
 <B>Links</B><BR>
-<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/">Home</A><BR>
-<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/publications.html">Publications</A><BR>
-<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/teaching.html">Teaching</A><BR>
-<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/travelling.html">Recent Talks</A><BR>
+<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/">Home</A><BR>
+<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/publications.html">Publications</A><BR>
+<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/teaching.html">Teaching</A><BR>
+<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/travelling.html">Recent Talks</A><BR>
 <A HREF="http://isabelle.in.tum.de/nominal/">My Research Group</A>
 <BR>
 <BR>
 
 <B>Handy Information</B><BR>
-<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/logic.html">People in Logic</A><BR> 
-<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/programming.html">Programming Languages</A><BR> 
-<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/misc.html">Miscellaneous</A>
+<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/logic.html">People in Logic</A><BR> 
+<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/programming.html">Programming Languages</A><BR> 
+<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/misc.html">Miscellaneous</A>
 <BR><BR>
 
 <A HREF="http://isabelle.in.tum.de/nominal/">
@@ -109,14 +109,14 @@
 <ul>
 <li>Types course at the University of Cambridge (Mondays, 
 Wednesdays and Fridays at 10 o'clock in Lecture Theater 2, starting 8th October)
-[<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/types/raw-file/tip/lecture1.pdf">Lec 1</A>]
-[<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/types/raw-file/tip/lecture2.pdf">Lec 2</A>]
-[<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/types/raw-file/tip/lecture3_script.pdf">Lec 3</A>]
-[<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/types/raw-file/tip/lecture4_script.pdf">Lec 4</A>]
-[<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/types/raw-file/tip/lecture5_script.pdf">Lec 5</A>]
-[<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/types/raw-file/tip/lecture6_script.pdf">Lec 6</A>]
-[<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/types/raw-file/tip/lecture7_script.pdf">Lec 7</A>]
-[<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/types/raw-file/tip/lecture8.pdf">Lec 8</A>]
+[<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/types/raw-file/tip/lecture1.pdf">Lec 1</A>]
+[<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/types/raw-file/tip/lecture2.pdf">Lec 2</A>]
+[<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/types/raw-file/tip/lecture3_script.pdf">Lec 3</A>]
+[<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/types/raw-file/tip/lecture4_script.pdf">Lec 4</A>]
+[<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/types/raw-file/tip/lecture5_script.pdf">Lec 5</A>]
+[<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/types/raw-file/tip/lecture6_script.pdf">Lec 6</A>]
+[<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/types/raw-file/tip/lecture7_script.pdf">Lec 7</A>]
+[<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/types/raw-file/tip/lecture8.pdf">Lec 8</A>]
 <li>two-day Isabelle/Isar tutorial at the University Paris Sud with Markus Wenzel
 </ul>
 </TD>
@@ -129,18 +129,18 @@
 <p><B>Summer</B> 
 <ul>
 <li>a course on Isabelle Programming at the University of Science and Technology in Nanjing (24 hours)
-  [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/nanjing lectures/raw-file/tip/Lec01.thy">Lec 1</A>]
-  [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/nanjing lectures/raw-file/tip/Lec02.thy">Lec 2</A>]
-  [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/nanjing lectures/raw-file/tip/Lec03.thy">Lec 3</A>]
-  [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/nanjing lectures/raw-file/tip/Lec04.thy">Lec 4</A>]
-  [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/nanjing lectures/raw-file/tip/Lec05.thy">Lec 5</A>]
-  [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/nanjing lectures/raw-file/tip/Lec06.thy">Lec 6</A>]
-  [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/nanjing lectures/raw-file/tip/Lec07.thy">Lec 7</A>]  
-  [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/nanjing lectures/raw-file/tip/Lec08.thy">Lec 8</A>] 
-  [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/nanjing lectures/raw-file/tip/Lec09.thy">Lec 9</A>]   
-  [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/nanjing lectures/raw-file/tip/Lec10.thy">Lec 10</A>]   
-  [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/nanjing lectures/raw-file/tip/Lec11.thy">Lec 11</A>]   
-  [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/nanjing lectures/raw-file/tip/Lec12.thy">Lec 12</A>]   
+  [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/nanjing lectures/raw-file/tip/Lec01.thy">Lec 1</A>]
+  [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/nanjing lectures/raw-file/tip/Lec02.thy">Lec 2</A>]
+  [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/nanjing lectures/raw-file/tip/Lec03.thy">Lec 3</A>]
+  [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/nanjing lectures/raw-file/tip/Lec04.thy">Lec 4</A>]
+  [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/nanjing lectures/raw-file/tip/Lec05.thy">Lec 5</A>]
+  [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/nanjing lectures/raw-file/tip/Lec06.thy">Lec 6</A>]
+  [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/nanjing lectures/raw-file/tip/Lec07.thy">Lec 7</A>]  
+  [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/nanjing lectures/raw-file/tip/Lec08.thy">Lec 8</A>] 
+  [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/nanjing lectures/raw-file/tip/Lec09.thy">Lec 9</A>]   
+  [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/nanjing lectures/raw-file/tip/Lec10.thy">Lec 10</A>]   
+  [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/nanjing lectures/raw-file/tip/Lec11.thy">Lec 11</A>]   
+  [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/nanjing lectures/raw-file/tip/Lec12.thy">Lec 12</A>]   
 </ul>
 </TD>
 </TR>
@@ -159,7 +159,7 @@
 <p><B>Autumn</B> 
 <ul>
 <li>a course in <A HREF="http://www.cs.princeton.edu/">Princeton</A> on 
-<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Teaching/isabelle08.html">Isabelle, Binders and SOS</A> 
+<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Teaching/isabelle08.html">Isabelle, Binders and SOS</A> 
 for students and members of the PL group (8h)
 </ul>
 
@@ -172,14 +172,14 @@
 
 <p><B>Sommersemester</B> 
 <ul>
-<li><A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Teaching/semantics08.html">Semantics of Programming Languages</A> 
+<li><A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Teaching/semantics08.html">Semantics of Programming Languages</A> 
 (28h)
 <li>a course on Nominal Isabelle at the
 <A HREF="http://www.cs.uoregon.edu/research/summerschool/summer08/">Oregon Summer School 
 on Logic and Theorem Proving in Programming Languages</A> (4h)
-[<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/oregon1.pdf">Slides 1</A>]
-[<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/oregon2.pdf">Slides 2</A>]
-[<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/oregon3.pdf">Slides 3</A>]
+[<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>]
@@ -194,18 +194,18 @@
 <p><B>Wintersemester</B>
 <ul><li><A HREF="http://www4.in.tum.de/lehre/vorlesungen/types/WS0607/index.shtml">Types course</A> 
  at the TU Munich (21h, slides of
-  [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/types-01.pdf">Lec 1</A>]
-  [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/types-02.pdf">Lec 2</A>]
-  [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/types-03.pdf">Lec 3</A>]
-  [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/types-04.pdf">Lec 4</A>]
-  [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/types-05.pdf">Lec 5</A>,
-   <A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/handout-05.pdf">Ho 5</A>]
-  [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/types-06.pdf">Lec 6</A>]
-  [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/types-07.pdf">Lec 7</A>]
-  [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/types-08.pdf">Lec 8</A>]
-  [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/types-09.pdf">Lec 9</A>]
-  [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/types-10.pdf">Lec 10</A>]
-  [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/types-11.pdf">Lec 11</A>])
+  [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/types-01.pdf">Lec 1</A>]
+  [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/types-02.pdf">Lec 2</A>]
+  [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/types-03.pdf">Lec 3</A>]
+  [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/types-04.pdf">Lec 4</A>]
+  [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/types-05.pdf">Lec 5</A>,
+   <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/handout-05.pdf">Ho 5</A>]
+  [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/types-06.pdf">Lec 6</A>]
+  [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/types-07.pdf">Lec 7</A>]
+  [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/types-08.pdf">Lec 8</A>]
+  [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/types-09.pdf">Lec 9</A>]
+  [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/types-10.pdf">Lec 10</A>]
+  [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/types-11.pdf">Lec 11</A>])
 </li></ul>
 
 
@@ -221,23 +221,23 @@
 <ul><li>Scheme course at the LMU (4h)</li>
     <li>a course on nominal datatypes at the University of Pennsylvania 
     (6.5h, slides of
-     [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/upenn01.ps">Lec 1</A>]
-     [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/upenn02.ps">Lec 2</A>]
-     [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/upenn03.ps">Lec 3</A>]
-     [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/upenn04.ps">Lec 4</A>])</li>
+     [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/upenn01.ps">Lec 1</A>]
+     [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/upenn02.ps">Lec 2</A>]
+     [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/upenn03.ps">Lec 3</A>]
+     [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/upenn04.ps">Lec 4</A>])</li>
     <li>Theory-Minicourse on nominal datatypes in Cambridge 
     (4h, slides of
-     [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/cam01.ps">Lec 1</A>]
-     [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/cam02.ps">Lec 2</A>]
-     [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/cam03.ps">Lec 3</A>]
-     [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/cam04.ps">Lec 4</A>])</li> 
+     [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/cam01.ps">Lec 1</A>]
+     [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/cam02.ps">Lec 2</A>]
+     [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/cam03.ps">Lec 3</A>]
+     [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/cam04.ps">Lec 4</A>])</li> 
     <li>Club2-course on the nominal datatype package at the TU Munich 
     (5h, slides of
-     [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/slides-club2a.pdf">Lec 1</A>]
-     [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/slides-club2b.pdf">Lec 2</A>]
-     [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/slides-club2c.pdf">Lec 3</A>]
-     [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/slides-club2d.pdf">Lec 4</A>]
-     [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/slides-club2e.pdf">Lec 5</A>])</li> 
+     [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/slides-club2a.pdf">Lec 1</A>]
+     [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/slides-club2b.pdf">Lec 2</A>]
+     [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/slides-club2c.pdf">Lec 3</A>]
+     [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/slides-club2d.pdf">Lec 4</A>]
+     [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/slides-club2e.pdf">Lec 5</A>])</li> 
 </ul>
 </TD>
 </TR>
@@ -253,16 +253,16 @@
 <p><B>Sommersemester</B> 
 <dl><dd>A course on my nominal work at the LMU (10h)
     (slides of
-     [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/nom01.ps">Lec 1</A>]
-     [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/nom02.ps">Lec 2</A>]
-     [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/nom03.ps">Lec 3</A>]
-     [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/nom04.ps">Lec 4</A>]
-     [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/nom05.ps">Lec 5</A>]
-     [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/nom06.ps">Lec 6</A>]
-     [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/nom07.ps">Lec 7</A>]
-     [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/nom08.ps">Lec 8</A>]
-     [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/nom09.ps">Lec 9</A>]
-     [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/nom10.ps">Lec 10</A>])
+     [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/nom01.ps">Lec 1</A>]
+     [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/nom02.ps">Lec 2</A>]
+     [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/nom03.ps">Lec 3</A>]
+     [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/nom04.ps">Lec 4</A>]
+     [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/nom05.ps">Lec 5</A>]
+     [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/nom06.ps">Lec 6</A>]
+     [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/nom07.ps">Lec 7</A>]
+     [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/nom08.ps">Lec 8</A>]
+     [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/nom09.ps">Lec 9</A>]
+     [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/nom10.ps">Lec 10</A>])
 </dl>
 </TD>
 </TR>
@@ -292,11 +292,11 @@
 <dl><dd>Avanced course on nominal logic at the 
     <a href="http://esslli2004.loria.fr/">ESSLLI</a> summerschool in Nancy<BR>
      (slides of
-     [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/MONDAY.pdf">Day 1</A>] 
-     [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/TUESDAY.pdf">Day 2</A>] 
-     [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/WEDNESDAY.pdf">Day 3</A>] 
-     [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/THURSDAY.pdf">Day 4</A>] 
-     [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/FRIDAY.pdf">Day 5</A>]) 
+     [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/MONDAY.pdf">Day 1</A>] 
+     [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/TUESDAY.pdf">Day 2</A>] 
+     [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/WEDNESDAY.pdf">Day 3</A>] 
+     [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/THURSDAY.pdf">Day 4</A>] 
+     [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/FRIDAY.pdf">Day 5</A>]) 
     <dd>student intern from the ENS Cachan
 </dl>
 </TD>
public_html