Mercurial Mercurial > hg > public_html / comparison
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
equal deleted inserted replaced
23:3c1a98a18f92 24:1afb9462ea70 
     1 <?xml version="1.0" encoding="utf-8"?>
 
     1 <?xml version="1.0" encoding="utf-8"?>
 
     2 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
 
     2 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
 
     3 <HEAD>
 
     3 <HEAD>
 
     4 <TITLE> Christian Urban </TITLE>
 
     4 <TITLE> Christian Urban </TITLE>
 
     5 <BASE HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/">
 
     5 <BASE HREF="http://www.inf.kcl.ac.uk/staff/urbanc/">
 
     6 <script type="text/javascript">
 
     6 <script type="text/javascript">
 
     7 
     7 
     8   var _gaq = _gaq || [];
 
     8   var _gaq = _gaq || [];
 
     9   _gaq.push(['_setAccount', 'UA-4143458-4']);
 
     9   _gaq.push(['_setAccount', 'UA-4143458-4']);
 
    10   _gaq.push(['_trackPageview']);
 
    10   _gaq.push(['_trackPageview']);
 
    38     WIDTH="24%" 
    38     WIDTH="24%" 
    39     VALIGN="TOP" 
    39     VALIGN="TOP" 
    40     ROWSPAN="13">
 
    40     ROWSPAN="13">
 
    41 
    41 
    42 <B>Links</B><BR>
 
    42 <B>Links</B><BR>
 
    43 <A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/">Home</A><BR>
 
    43 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/">Home</A><BR>
 
    44 <A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/publications.html">Publications</A><BR>
 
    44 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/publications.html">Publications</A><BR>
 
    45 <A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/teaching.html">Teaching</A><BR>
 
    45 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/teaching.html">Teaching</A><BR>
 
    46 <A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/travelling.html">Recent Talks</A><BR>
 
    46 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/travelling.html">Recent Talks</A><BR>
 
    47 <A HREF="http://isabelle.in.tum.de/nominal/">My Research Group</A>
 
    47 <A HREF="http://isabelle.in.tum.de/nominal/">My Research Group</A>
 
    48 <BR>
 
    48 <BR>
 
    49 <BR>
 
    49 <BR>
 
    50 
    50 
    51 <B>Handy Information</B><BR>
 
    51 <B>Handy Information</B><BR>
 
    52 <A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/logic.html">People in Logic</A><BR> 
    52 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/logic.html">People in Logic</A><BR> 
    53 <A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/programming.html">Programming Languages</A><BR> 
    53 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/programming.html">Programming Languages</A><BR> 
    54 <A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/misc.html">Miscellaneous</A>
 
    54 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/misc.html">Miscellaneous</A>
 
    55 <BR><BR>
 
    55 <BR><BR>
 
    56 
    56 
    57 <A HREF="http://isabelle.in.tum.de/nominal/">
 
    57 <A HREF="http://isabelle.in.tum.de/nominal/">
 
    58 <IMG SRC="nominal-logo.gif" ALT="" style="border-width: 0px;" align="left">
 
    58 <IMG SRC="nominal-logo.gif" ALT="" style="border-width: 0px;" align="left">
 
    59 </A>
 
    59 </A>
 
   107 
   107 
   108 <p><B>Autumn</B> 
   108 <p><B>Autumn</B> 
   109 <ul>
 
   109 <ul>
 
   110 <li>Types course at the University of Cambridge (Mondays, 
   110 <li>Types course at the University of Cambridge (Mondays, 
   111 Wednesdays and Fridays at 10 o'clock in Lecture Theater 2, starting 8th October)
 
   111 Wednesdays and Fridays at 10 o'clock in Lecture Theater 2, starting 8th October)
 
   112 [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/types/raw-file/tip/lecture1.pdf">Lec 1</A>]
 
   112 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/types/raw-file/tip/lecture1.pdf">Lec 1</A>]
 
   113 [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/types/raw-file/tip/lecture2.pdf">Lec 2</A>]
 
   113 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/types/raw-file/tip/lecture2.pdf">Lec 2</A>]
 
   114 [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/types/raw-file/tip/lecture3_script.pdf">Lec 3</A>]
 
   114 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/types/raw-file/tip/lecture3_script.pdf">Lec 3</A>]
 
   115 [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/types/raw-file/tip/lecture4_script.pdf">Lec 4</A>]
 
   115 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/types/raw-file/tip/lecture4_script.pdf">Lec 4</A>]
 
   116 [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/types/raw-file/tip/lecture5_script.pdf">Lec 5</A>]
 
   116 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/types/raw-file/tip/lecture5_script.pdf">Lec 5</A>]
 
   117 [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/types/raw-file/tip/lecture6_script.pdf">Lec 6</A>]
 
   117 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/types/raw-file/tip/lecture6_script.pdf">Lec 6</A>]
 
   118 [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/types/raw-file/tip/lecture7_script.pdf">Lec 7</A>]
 
   118 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/types/raw-file/tip/lecture7_script.pdf">Lec 7</A>]
 
   119 [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/types/raw-file/tip/lecture8.pdf">Lec 8</A>]
 
   119 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/types/raw-file/tip/lecture8.pdf">Lec 8</A>]
 
   120 <li>two-day Isabelle/Isar tutorial at the University Paris Sud with Markus Wenzel
 
   120 <li>two-day Isabelle/Isar tutorial at the University Paris Sud with Markus Wenzel
 
   121 </ul>
 
   121 </ul>
 
   122 </TD>
 
   122 </TD>
 
   123 </TR>
 
   123 </TR>
 
   124 
   124 
   127 <H3>2009-2010</H3>
 
   127 <H3>2009-2010</H3>
 
   128 
   128 
   129 <p><B>Summer</B> 
   129 <p><B>Summer</B> 
   130 <ul>
 
   130 <ul>
 
   131 <li>a course on Isabelle Programming at the University of Science and Technology in Nanjing (24 hours)
 
   131 <li>a course on Isabelle Programming at the University of Science and Technology in Nanjing (24 hours)
 
   132   [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/nanjing lectures/raw-file/tip/Lec01.thy">Lec 1</A>]
 
   132   [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/nanjing lectures/raw-file/tip/Lec01.thy">Lec 1</A>]
 
   133   [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/nanjing lectures/raw-file/tip/Lec02.thy">Lec 2</A>]
 
   133   [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/nanjing lectures/raw-file/tip/Lec02.thy">Lec 2</A>]
 
   134   [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/nanjing lectures/raw-file/tip/Lec03.thy">Lec 3</A>]
 
   134   [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/nanjing lectures/raw-file/tip/Lec03.thy">Lec 3</A>]
 
   135   [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/nanjing lectures/raw-file/tip/Lec04.thy">Lec 4</A>]
 
   135   [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/nanjing lectures/raw-file/tip/Lec04.thy">Lec 4</A>]
 
   136   [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/nanjing lectures/raw-file/tip/Lec05.thy">Lec 5</A>]
 
   136   [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/nanjing lectures/raw-file/tip/Lec05.thy">Lec 5</A>]
 
   137   [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/nanjing lectures/raw-file/tip/Lec06.thy">Lec 6</A>]
 
   137   [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/nanjing lectures/raw-file/tip/Lec06.thy">Lec 6</A>]
 
   138   [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/nanjing lectures/raw-file/tip/Lec07.thy">Lec 7</A>]  
   138   [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/nanjing lectures/raw-file/tip/Lec07.thy">Lec 7</A>]  
   139   [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/nanjing lectures/raw-file/tip/Lec08.thy">Lec 8</A>] 
   139   [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/nanjing lectures/raw-file/tip/Lec08.thy">Lec 8</A>] 
   140   [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/nanjing lectures/raw-file/tip/Lec09.thy">Lec 9</A>]   
   140   [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/nanjing lectures/raw-file/tip/Lec09.thy">Lec 9</A>]   
   141   [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/nanjing lectures/raw-file/tip/Lec10.thy">Lec 10</A>]   
   141   [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/nanjing lectures/raw-file/tip/Lec10.thy">Lec 10</A>]   
   142   [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/nanjing lectures/raw-file/tip/Lec11.thy">Lec 11</A>]   
   142   [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/nanjing lectures/raw-file/tip/Lec11.thy">Lec 11</A>]   
   143   [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/nanjing lectures/raw-file/tip/Lec12.thy">Lec 12</A>]   
   143   [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/nanjing lectures/raw-file/tip/Lec12.thy">Lec 12</A>]   
   144 </ul>
 
   144 </ul>
 
   145 </TD>
 
   145 </TD>
 
   146 </TR>
 
   146 </TR>
 
   147 
   147 
   148 <TR>
 
   148 <TR>
 
   157 </ul>
 
   157 </ul>
 
   158 
   158 
   159 <p><B>Autumn</B> 
   159 <p><B>Autumn</B> 
   160 <ul>
 
   160 <ul>
 
   161 <li>a course in <A HREF="http://www.cs.princeton.edu/">Princeton</A> on 
   161 <li>a course in <A HREF="http://www.cs.princeton.edu/">Princeton</A> on 
   162 <A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Teaching/isabelle08.html">Isabelle, Binders and SOS</A> 
   162 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Teaching/isabelle08.html">Isabelle, Binders and SOS</A> 
   163 for students and members of the PL group (8h)
 
   163 for students and members of the PL group (8h)
 
   164 </ul>
 
   164 </ul>
 
   165 
   165 
   166 </TD>
 
   166 </TD>
 
   167 </TR>
 
   167 </TR>
 
   170 <TD BGCOLOR="#FFFFFF" WIDTH="75%">
 
   170 <TD BGCOLOR="#FFFFFF" WIDTH="75%">
 
   171 <H3>2007-2008</H3>
 
   171 <H3>2007-2008</H3>
 
   172 
   172 
   173 <p><B>Sommersemester</B> 
   173 <p><B>Sommersemester</B> 
   174 <ul>
 
   174 <ul>
 
   175 <li><A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Teaching/semantics08.html">Semantics of Programming Languages</A> 
   175 <li><A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Teaching/semantics08.html">Semantics of Programming Languages</A> 
   176 (28h)
 
   176 (28h)
 
   177 <li>a course on Nominal Isabelle at the
 
   177 <li>a course on Nominal Isabelle at the
 
   178 <A HREF="http://www.cs.uoregon.edu/research/summerschool/summer08/">Oregon Summer School 
   178 <A HREF="http://www.cs.uoregon.edu/research/summerschool/summer08/">Oregon Summer School 
   179 on Logic and Theorem Proving in Programming Languages</A> (4h)
 
   179 on Logic and Theorem Proving in Programming Languages</A> (4h)
 
   180 [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/oregon1.pdf">Slides 1</A>]
 
   180 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/oregon1.pdf">Slides 1</A>]
 
   181 [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/oregon2.pdf">Slides 2</A>]
 
   181 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/oregon2.pdf">Slides 2</A>]
 
   182 [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/oregon3.pdf">Slides 3</A>]
 
   182 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/oregon3.pdf">Slides 3</A>]
 
   183 [<A HREF="http://www.cs.uoregon.edu/research/summerschool/summer08/video/July25Lect3.wmv">Video 1</A>]
 
   183 [<A HREF="http://www.cs.uoregon.edu/research/summerschool/summer08/video/July25Lect3.wmv">Video 1</A>]
 
   184 [<A HREF="http://www.cs.uoregon.edu/research/summerschool/summer08/video/July26Lect2.wmv">Video 2</A>]
 
   184 [<A HREF="http://www.cs.uoregon.edu/research/summerschool/summer08/video/July26Lect2.wmv">Video 2</A>]
 
   185 [<A HREF="http://www.cs.uoregon.edu/research/summerschool/summer08/video/July24Lect1.wmv">Video 3</A>]
 
   185 [<A HREF="http://www.cs.uoregon.edu/research/summerschool/summer08/video/July24Lect1.wmv">Video 3</A>]
 
   186 </ul>
 
   186 </ul>
 
   187 
   187 
   192 <TD BGCOLOR="#FFFFFF" WIDTH="75%">
 
   192 <TD BGCOLOR="#FFFFFF" WIDTH="75%">
 
   193 <H3>2006-2007</H3>
 
   193 <H3>2006-2007</H3>
 
   194 <p><B>Wintersemester</B>
 
   194 <p><B>Wintersemester</B>
 
   195 <ul><li><A HREF="http://www4.in.tum.de/lehre/vorlesungen/types/WS0607/index.shtml">Types course</A> 
   195 <ul><li><A HREF="http://www4.in.tum.de/lehre/vorlesungen/types/WS0607/index.shtml">Types course</A> 
   196  at the TU Munich (21h, slides of
 
   196  at the TU Munich (21h, slides of
 
   197   [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/types-01.pdf">Lec 1</A>]
 
   197   [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/types-01.pdf">Lec 1</A>]
 
   198   [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/types-02.pdf">Lec 2</A>]
 
   198   [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/types-02.pdf">Lec 2</A>]
 
   199   [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/types-03.pdf">Lec 3</A>]
 
   199   [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/types-03.pdf">Lec 3</A>]
 
   200   [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/types-04.pdf">Lec 4</A>]
 
   200   [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/types-04.pdf">Lec 4</A>]
 
   201   [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/types-05.pdf">Lec 5</A>,
 
   201   [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/types-05.pdf">Lec 5</A>,
 
   202    <A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/handout-05.pdf">Ho 5</A>]
 
   202    <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/handout-05.pdf">Ho 5</A>]
 
   203   [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/types-06.pdf">Lec 6</A>]
 
   203   [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/types-06.pdf">Lec 6</A>]
 
   204   [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/types-07.pdf">Lec 7</A>]
 
   204   [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/types-07.pdf">Lec 7</A>]
 
   205   [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/types-08.pdf">Lec 8</A>]
 
   205   [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/types-08.pdf">Lec 8</A>]
 
   206   [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/types-09.pdf">Lec 9</A>]
 
   206   [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/types-09.pdf">Lec 9</A>]
 
   207   [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/types-10.pdf">Lec 10</A>]
 
   207   [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/types-10.pdf">Lec 10</A>]
 
   208   [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/types-11.pdf">Lec 11</A>])
 
   208   [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/types-11.pdf">Lec 11</A>])
 
   209 </li></ul>
 
   209 </li></ul>
 
   210 
   210 
   211 
   211 
   212 <p><B>Sommersemester</B> 
   212 <p><B>Sommersemester</B> 
   213 <ul><li>A course at the International School on Rewriting (1.5h)</li></ul>
 
   213 <ul><li>A course at the International School on Rewriting (1.5h)</li></ul>
 
   219 <H3>2005-2006</H3>
 
   219 <H3>2005-2006</H3>
 
   220 <p><B>Wintersemester</B>
 
   220 <p><B>Wintersemester</B>
 
   221 <ul><li>Scheme course at the LMU (4h)</li>
 
   221 <ul><li>Scheme course at the LMU (4h)</li>
 
   222     <li>a course on nominal datatypes at the University of Pennsylvania 
   222     <li>a course on nominal datatypes at the University of Pennsylvania 
   223     (6.5h, slides of
 
   223     (6.5h, slides of
 
   224      [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/upenn01.ps">Lec 1</A>]
 
   224      [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/upenn01.ps">Lec 1</A>]
 
   225      [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/upenn02.ps">Lec 2</A>]
 
   225      [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/upenn02.ps">Lec 2</A>]
 
   226      [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/upenn03.ps">Lec 3</A>]
 
   226      [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/upenn03.ps">Lec 3</A>]
 
   227      [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/upenn04.ps">Lec 4</A>])</li>
 
   227      [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/upenn04.ps">Lec 4</A>])</li>
 
   228     <li>Theory-Minicourse on nominal datatypes in Cambridge 
   228     <li>Theory-Minicourse on nominal datatypes in Cambridge 
   229     (4h, slides of
 
   229     (4h, slides of
 
   230      [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/cam01.ps">Lec 1</A>]
 
   230      [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/cam01.ps">Lec 1</A>]
 
   231      [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/cam02.ps">Lec 2</A>]
 
   231      [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/cam02.ps">Lec 2</A>]
 
   232      [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/cam03.ps">Lec 3</A>]
 
   232      [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/cam03.ps">Lec 3</A>]
 
   233      [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/cam04.ps">Lec 4</A>])</li> 
   233      [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/cam04.ps">Lec 4</A>])</li> 
   234     <li>Club2-course on the nominal datatype package at the TU Munich 
   234     <li>Club2-course on the nominal datatype package at the TU Munich 
   235     (5h, slides of
 
   235     (5h, slides of
 
   236      [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/slides-club2a.pdf">Lec 1</A>]
 
   236      [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/slides-club2a.pdf">Lec 1</A>]
 
   237      [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/slides-club2b.pdf">Lec 2</A>]
 
   237      [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/slides-club2b.pdf">Lec 2</A>]
 
   238      [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/slides-club2c.pdf">Lec 3</A>]
 
   238      [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/slides-club2c.pdf">Lec 3</A>]
 
   239      [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/slides-club2d.pdf">Lec 4</A>]
 
   239      [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/slides-club2d.pdf">Lec 4</A>]
 
   240      [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/slides-club2e.pdf">Lec 5</A>])</li> 
   240      [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/slides-club2e.pdf">Lec 5</A>])</li> 
   241 </ul>
 
   241 </ul>
 
   242 </TD>
 
   242 </TD>
 
   243 </TR>
 
   243 </TR>
 
   244 
   244 
   245 <TR>
 
   245 <TR>
 
   251     <dd>Discrete Structures for Computer Scientists at the LMU (12h)
 
   251     <dd>Discrete Structures for Computer Scientists at the LMU (12h)
 
   252 </dl>
 
   252 </dl>
 
   253 <p><B>Sommersemester</B> 
   253 <p><B>Sommersemester</B> 
   254 <dl><dd>A course on my nominal work at the LMU (10h)
 
   254 <dl><dd>A course on my nominal work at the LMU (10h)
 
   255     (slides of
 
   255     (slides of
 
   256      [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/nom01.ps">Lec 1</A>]
 
   256      [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/nom01.ps">Lec 1</A>]
 
   257      [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/nom02.ps">Lec 2</A>]
 
   257      [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/nom02.ps">Lec 2</A>]
 
   258      [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/nom03.ps">Lec 3</A>]
 
   258      [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/nom03.ps">Lec 3</A>]
 
   259      [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/nom04.ps">Lec 4</A>]
 
   259      [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/nom04.ps">Lec 4</A>]
 
   260      [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/nom05.ps">Lec 5</A>]
 
   260      [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/nom05.ps">Lec 5</A>]
 
   261      [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/nom06.ps">Lec 6</A>]
 
   261      [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/nom06.ps">Lec 6</A>]
 
   262      [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/nom07.ps">Lec 7</A>]
 
   262      [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/nom07.ps">Lec 7</A>]
 
   263      [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/nom08.ps">Lec 8</A>]
 
   263      [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/nom08.ps">Lec 8</A>]
 
   264      [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/nom09.ps">Lec 9</A>]
 
   264      [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/nom09.ps">Lec 9</A>]
 
   265      [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/nom10.ps">Lec 10</A>])
 
   265      [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/nom10.ps">Lec 10</A>])
 
   266 </dl>
 
   266 </dl>
 
   267 </TD>
 
   267 </TD>
 
   268 </TR>
 
   268 </TR>
 
   269 
   269 
   270 <TR>
 
   270 <TR>
 
   290 
   290 
   291 <p><B>Summer</B>
 
   291 <p><B>Summer</B>
 
   292 <dl><dd>Avanced course on nominal logic at the 
   292 <dl><dd>Avanced course on nominal logic at the 
   293     <a href="http://esslli2004.loria.fr/">ESSLLI</a> summerschool in Nancy<BR>
 
   293     <a href="http://esslli2004.loria.fr/">ESSLLI</a> summerschool in Nancy<BR>
 
   294      (slides of
 
   294      (slides of
 
   295      [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/MONDAY.pdf">Day 1</A>] 
   295      [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/MONDAY.pdf">Day 1</A>] 
   296      [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/TUESDAY.pdf">Day 2</A>] 
   296      [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/TUESDAY.pdf">Day 2</A>] 
   297      [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/WEDNESDAY.pdf">Day 3</A>] 
   297      [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/WEDNESDAY.pdf">Day 3</A>] 
   298      [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/THURSDAY.pdf">Day 4</A>] 
   298      [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/THURSDAY.pdf">Day 4</A>] 
   299      [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/FRIDAY.pdf">Day 5</A>]) 
   299      [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/FRIDAY.pdf">Day 5</A>]) 
   300     <dd>student intern from the ENS Cachan
 
   300     <dd>student intern from the ENS Cachan
 
   301 </dl>
 
   301 </dl>
 
   302 </TD>
 
   302 </TD>
 
   303 </TR>
 
   303 </TR>
 
   304 
   304
public_html