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 465 4dac76eb27d9
parent 450 192083ac151f
child 468 c6308b24fa20 
--- a/teaching.html	Sat Jan 28 06:40:19 2017 +0000
+++ b/teaching.html	Sat Jan 28 07:17:00 2017 +0000
@@ -2,7 +2,7 @@
 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
 <HEAD>
 <TITLE> Christian Urban </TITLE>
-<BASE HREF="http://www.inf.kcl.ac.uk/staff/urbanc/">
+<BASE HREF="http://nms.kcl.ac.uk/christian.urban/">
 <script type="text/javascript">
 
   var _gaq = _gaq || [];
@@ -40,30 +40,30 @@
     ROWSPAN="17">
 
 <B>Links</B><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://www.inf.kcl.ac.uk/staff/urbanc/Nominal/">Nominal Isabelle</A>
+<A HREF="http://nms.kcl.ac.uk/christian.urban/">Home</A><BR>
+<A HREF="http://nms.kcl.ac.uk/christian.urban/publications.html">Publications</A><BR>
+<A HREF="http://nms.kcl.ac.uk/christian.urban/teaching.html">Teaching</A><BR>
+<A HREF="http://nms.kcl.ac.uk/christian.urban/travelling.html">Recent Talks</A><BR>
+<A HREF="http://nms.kcl.ac.uk/christian.urban/Nominal/">Nominal Isabelle</A>
 <BR>
 <BR>
 
 <B>Handy Information</B><BR>
-<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>
+<A HREF="http://nms.kcl.ac.uk/christian.urban/logic.html">People in Logic</A><BR> 
+<A HREF="http://nms.kcl.ac.uk/christian.urban/programming.html">Programming Languages</A><BR> 
+<A HREF="http://nms.kcl.ac.uk/christian.urban/misc.html">Miscellaneous</A>
 <BR><BR>
 
 <table border="0">
 <tr>
 <td>
-<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/">
+<A HREF="http://nms.kcl.ac.uk/christian.urban/Nominal/">
 <IMG SRC="nominal-logo.gif" ALT="" style="border-width: 0px;" align="left"></A>
 </td>
 </tr>
 <tr>
 <td>
-<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Cookbook/">
+<A HREF="http://nms.kcl.ac.uk/christian.urban/Cookbook/">
 <IMG SRC="Cookbook/logo-documentation.gif" ALT="" style="border-width: 0px;" align="left"></A>
 </td>
 </tr>
@@ -217,14 +217,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.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>]
+[<A HREF="http://nms.kcl.ac.uk/christian.urban/cgi-bin/repos.cgi/types/raw-file/tip/lecture1.pdf">Lec 1</A>]
+[<A HREF="http://nms.kcl.ac.uk/christian.urban/cgi-bin/repos.cgi/types/raw-file/tip/lecture2.pdf">Lec 2</A>]
+[<A HREF="http://nms.kcl.ac.uk/christian.urban/cgi-bin/repos.cgi/types/raw-file/tip/lecture3_script.pdf">Lec 3</A>]
+[<A HREF="http://nms.kcl.ac.uk/christian.urban/cgi-bin/repos.cgi/types/raw-file/tip/lecture4_script.pdf">Lec 4</A>]
+[<A HREF="http://nms.kcl.ac.uk/christian.urban/cgi-bin/repos.cgi/types/raw-file/tip/lecture5_script.pdf">Lec 5</A>]
+[<A HREF="http://nms.kcl.ac.uk/christian.urban/cgi-bin/repos.cgi/types/raw-file/tip/lecture6_script.pdf">Lec 6</A>]
+[<A HREF="http://nms.kcl.ac.uk/christian.urban/cgi-bin/repos.cgi/types/raw-file/tip/lecture7_script.pdf">Lec 7</A>]
+[<A HREF="http://nms.kcl.ac.uk/christian.urban/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>
@@ -237,18 +237,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.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>]   
+  [<A HREF="http://nms.kcl.ac.uk/christian.urban/cgi-bin/repos.cgi/nanjing lectures/raw-file/tip/Lec01.thy">Lec 1</A>]
+  [<A HREF="http://nms.kcl.ac.uk/christian.urban/cgi-bin/repos.cgi/nanjing lectures/raw-file/tip/Lec02.thy">Lec 2</A>]
+  [<A HREF="http://nms.kcl.ac.uk/christian.urban/cgi-bin/repos.cgi/nanjing lectures/raw-file/tip/Lec03.thy">Lec 3</A>]
+  [<A HREF="http://nms.kcl.ac.uk/christian.urban/cgi-bin/repos.cgi/nanjing lectures/raw-file/tip/Lec04.thy">Lec 4</A>]
+  [<A HREF="http://nms.kcl.ac.uk/christian.urban/cgi-bin/repos.cgi/nanjing lectures/raw-file/tip/Lec05.thy">Lec 5</A>]
+  [<A HREF="http://nms.kcl.ac.uk/christian.urban/cgi-bin/repos.cgi/nanjing lectures/raw-file/tip/Lec06.thy">Lec 6</A>]
+  [<A HREF="http://nms.kcl.ac.uk/christian.urban/cgi-bin/repos.cgi/nanjing lectures/raw-file/tip/Lec07.thy">Lec 7</A>]  
+  [<A HREF="http://nms.kcl.ac.uk/christian.urban/cgi-bin/repos.cgi/nanjing lectures/raw-file/tip/Lec08.thy">Lec 8</A>] 
+  [<A HREF="http://nms.kcl.ac.uk/christian.urban/cgi-bin/repos.cgi/nanjing lectures/raw-file/tip/Lec09.thy">Lec 9</A>]   
+  [<A HREF="http://nms.kcl.ac.uk/christian.urban/cgi-bin/repos.cgi/nanjing lectures/raw-file/tip/Lec10.thy">Lec 10</A>]   
+  [<A HREF="http://nms.kcl.ac.uk/christian.urban/cgi-bin/repos.cgi/nanjing lectures/raw-file/tip/Lec11.thy">Lec 11</A>]   
+  [<A HREF="http://nms.kcl.ac.uk/christian.urban/cgi-bin/repos.cgi/nanjing lectures/raw-file/tip/Lec12.thy">Lec 12</A>]   
 </ul>
 </TD>
 </TR>
@@ -259,7 +259,7 @@
 
 <p><B>Summer</B> 
 <ul>
-<li>a <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/activities/cas09/">course</A> 
+<li>a <A HREF="http://nms.kcl.ac.uk/christian.urban/Nominal/activities/cas09/">course</A> 
     on Isabelle at the Chinese Academy of Science (7.5 h) 
 <li>Pearls in Computer Science, a course for gifted undergraduate students in Munich (5h)
 </ul>
@@ -267,7 +267,7 @@
 <p><B>Autumn</B> 
 <ul>
 <li>a course in <A HREF="http://www.cs.princeton.edu/">Princeton</A> on 
-<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Teaching/isabelle08.html">Isabelle, Binders and SOS</A> 
+<A HREF="http://nms.kcl.ac.uk/christian.urban/Teaching/isabelle08.html">Isabelle, Binders and SOS</A> 
 for students and members of the PL group (8h)
 </ul>
 
@@ -280,14 +280,14 @@
 
 <p><B>Sommersemester</B> 
 <ul>
-<li><A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Teaching/semantics08.html">Semantics of Programming Languages</A> 
+<li><A HREF="http://nms.kcl.ac.uk/christian.urban/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.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://nms.kcl.ac.uk/christian.urban/Slides/oregon1.pdf">Slides 1</A>]
+[<A HREF="http://nms.kcl.ac.uk/christian.urban/Slides/oregon2.pdf">Slides 2</A>]
+[<A HREF="http://nms.kcl.ac.uk/christian.urban/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>]
@@ -301,18 +301,18 @@
 <H3>2006-2007</H3>
 <p><B>Wintersemester</B>
 <ul><li>Types course at the TU Munich (21h, slides of
-  [<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>])
+  [<A HREF="http://nms.kcl.ac.uk/christian.urban/Slides/types-01.pdf">Lec 1</A>]
+  [<A HREF="http://nms.kcl.ac.uk/christian.urban/Slides/types-02.pdf">Lec 2</A>]
+  [<A HREF="http://nms.kcl.ac.uk/christian.urban/Slides/types-03.pdf">Lec 3</A>]
+  [<A HREF="http://nms.kcl.ac.uk/christian.urban/Slides/types-04.pdf">Lec 4</A>]
+  [<A HREF="http://nms.kcl.ac.uk/christian.urban/Slides/types-05.pdf">Lec 5</A>,
+   <A HREF="http://nms.kcl.ac.uk/christian.urban/Slides/handout-05.pdf">Ho 5</A>]
+  [<A HREF="http://nms.kcl.ac.uk/christian.urban/Slides/types-06.pdf">Lec 6</A>]
+  [<A HREF="http://nms.kcl.ac.uk/christian.urban/Slides/types-07.pdf">Lec 7</A>]
+  [<A HREF="http://nms.kcl.ac.uk/christian.urban/Slides/types-08.pdf">Lec 8</A>]
+  [<A HREF="http://nms.kcl.ac.uk/christian.urban/Slides/types-09.pdf">Lec 9</A>]
+  [<A HREF="http://nms.kcl.ac.uk/christian.urban/Slides/types-10.pdf">Lec 10</A>]
+  [<A HREF="http://nms.kcl.ac.uk/christian.urban/Slides/types-11.pdf">Lec 11</A>])
 </li></ul>
 
 
@@ -328,23 +328,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.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>
+     [<A HREF="http://nms.kcl.ac.uk/christian.urban/Slides/upenn01.ps">Lec 1</A>]
+     [<A HREF="http://nms.kcl.ac.uk/christian.urban/Slides/upenn02.ps">Lec 2</A>]
+     [<A HREF="http://nms.kcl.ac.uk/christian.urban/Slides/upenn03.ps">Lec 3</A>]
+     [<A HREF="http://nms.kcl.ac.uk/christian.urban/Slides/upenn04.ps">Lec 4</A>])</li>
     <li>Theory-Minicourse on nominal datatypes in Cambridge 
     (4h, slides of
-     [<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> 
+     [<A HREF="http://nms.kcl.ac.uk/christian.urban/Slides/cam01.ps">Lec 1</A>]
+     [<A HREF="http://nms.kcl.ac.uk/christian.urban/Slides/cam02.ps">Lec 2</A>]
+     [<A HREF="http://nms.kcl.ac.uk/christian.urban/Slides/cam03.ps">Lec 3</A>]
+     [<A HREF="http://nms.kcl.ac.uk/christian.urban/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.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> 
+     [<A HREF="http://nms.kcl.ac.uk/christian.urban/Slides/slides-club2a.pdf">Lec 1</A>]
+     [<A HREF="http://nms.kcl.ac.uk/christian.urban/Slides/slides-club2b.pdf">Lec 2</A>]
+     [<A HREF="http://nms.kcl.ac.uk/christian.urban/Slides/slides-club2c.pdf">Lec 3</A>]
+     [<A HREF="http://nms.kcl.ac.uk/christian.urban/Slides/slides-club2d.pdf">Lec 4</A>]
+     [<A HREF="http://nms.kcl.ac.uk/christian.urban/Slides/slides-club2e.pdf">Lec 5</A>])</li> 
 </ul>
 </TD>
 </TR>
@@ -360,16 +360,16 @@
 <p><B>Sommersemester</B> 
 <dl><dd>A course on my nominal work at the LMU (10h)
     (slides of
-     [<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>])
+     [<A HREF="http://nms.kcl.ac.uk/christian.urban/Slides/nom01.ps">Lec 1</A>]
+     [<A HREF="http://nms.kcl.ac.uk/christian.urban/Slides/nom02.ps">Lec 2</A>]
+     [<A HREF="http://nms.kcl.ac.uk/christian.urban/Slides/nom03.ps">Lec 3</A>]
+     [<A HREF="http://nms.kcl.ac.uk/christian.urban/Slides/nom04.ps">Lec 4</A>]
+     [<A HREF="http://nms.kcl.ac.uk/christian.urban/Slides/nom05.ps">Lec 5</A>]
+     [<A HREF="http://nms.kcl.ac.uk/christian.urban/Slides/nom06.ps">Lec 6</A>]
+     [<A HREF="http://nms.kcl.ac.uk/christian.urban/Slides/nom07.ps">Lec 7</A>]
+     [<A HREF="http://nms.kcl.ac.uk/christian.urban/Slides/nom08.ps">Lec 8</A>]
+     [<A HREF="http://nms.kcl.ac.uk/christian.urban/Slides/nom09.ps">Lec 9</A>]
+     [<A HREF="http://nms.kcl.ac.uk/christian.urban/Slides/nom10.ps">Lec 10</A>])
 </dl>
 </TD>
 </TR>
@@ -399,11 +399,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.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>]) 
+     [<A HREF="http://nms.kcl.ac.uk/christian.urban/Slides/MONDAY.pdf">Day 1</A>] 
+     [<A HREF="http://nms.kcl.ac.uk/christian.urban/Slides/TUESDAY.pdf">Day 2</A>] 
+     [<A HREF="http://nms.kcl.ac.uk/christian.urban/Slides/WEDNESDAY.pdf">Day 3</A>] 
+     [<A HREF="http://nms.kcl.ac.uk/christian.urban/Slides/THURSDAY.pdf">Day 4</A>] 
+     [<A HREF="http://nms.kcl.ac.uk/christian.urban/Slides/FRIDAY.pdf">Day 5</A>]) 
     <dd>student intern from the ENS Cachan
 </dl>
 </TD>
public_html