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 3 60f6cd4991ad
parent 2 f329c1f3b365
child 5 f6a9118998b6
equal deleted inserted replaced
2:f329c1f3b365 3:60f6cd4991ad 
     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://www4.in.tum.de/~urbanc/">
 
     5 <BASE HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/">
 
     6 </HEAD>
 
     6 </HEAD>
 
     7 
     7 
     8 <BODY TEXT="#000000" 
     8 <BODY TEXT="#000000" 
     9       BGCOLOR="#4169E1" 
     9       BGCOLOR="#4169E1" 
    10       LINK="#0000EF" 
    10       LINK="#0000EF" 
    25     WIDTH="24%" 
    25     WIDTH="24%" 
    26     VALIGN="TOP" 
    26     VALIGN="TOP" 
    27     ROWSPAN="12">
 
    27     ROWSPAN="12">
 
    28 
    28 
    29 <B>Links</B><BR>
 
    29 <B>Links</B><BR>
 
    30 <A HREF="http://www4.in.tum.de/~urbanc/">Home</A><BR>
 
    30 <A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/">Home</A><BR>
 
    31 <A HREF="http://www4.in.tum.de/~urbanc/publications.html">Publications</A><BR>
 
    31 <A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/publications.html">Publications</A><BR>
 
    32 <A HREF="http://www4.in.tum.de/~urbanc/teaching.html">Teaching</A><BR>
 
    32 <A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/teaching.html">Teaching</A><BR>
 
    33 <A HREF="http://www4.in.tum.de/~urbanc/travelling.html">Recent Talks</A><BR>
 
    33 <A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/travelling.html">Recent Talks</A><BR>
 
    34 <A HREF="http://isabelle.in.tum.de/nominal/">My Research Group</A>
 
    34 <A HREF="http://isabelle.in.tum.de/nominal/">My Research Group</A>
 
    35 <BR>
 
    35 <BR>
 
    36 <BR>
 
    36 <BR>
 
    37 
    37 
    38 <B>Handy Information</B><BR>
 
    38 <B>Handy Information</B><BR>
 
    39 <A HREF="http://www4.in.tum.de/~urbanc/logic.html">People in Logic</A><BR> 
    39 <A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/logic.html">People in Logic</A><BR> 
    40 <A HREF="http://www4.in.tum.de/~urbanc/programming.html">Programming Languages</A><BR> 
    40 <A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/programming.html">Programming Languages</A><BR> 
    41 <A HREF="http://www4.in.tum.de/~urbanc/misc.html">Miscellaneous</A>
 
    41 <A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/misc.html">Miscellaneous</A>
 
    42 <BR><BR>
 
    42 <BR><BR>
 
    43 
    43 
    44 <A HREF="http://isabelle.in.tum.de/nominal/">
 
    44 <A HREF="http://isabelle.in.tum.de/nominal/">
 
    45 <IMG SRC="ribbon.gif" ALT="" style="border-width: 0px;" align="left">
 
    45 <IMG SRC="ribbon.gif" ALT="" style="border-width: 0px;" align="left">
 
    46 </A>
 
    46 </A>
 
    88 
    88 
    89 <p><B>Autumn</B> 
    89 <p><B>Autumn</B> 
    90 <ul>
 
    90 <ul>
 
    91 <li>Types course at the University of Cambridge (Mondays, 
    91 <li>Types course at the University of Cambridge (Mondays, 
    92 Wednesdays and Fridays at 10 o'clock in Lecture Theater 2, starting 8th October)
 
    92 Wednesdays and Fridays at 10 o'clock in Lecture Theater 2, starting 8th October)
 
    93 [<A HREF="http://www4.in.tum.de/~urbanc/cgi-bin/repos.cgi/types/raw-file/tip/lecture1.pdf">Lec 1</A>]
 
    93 [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/types/raw-file/tip/lecture1.pdf">Lec 1</A>]
 
    94 [<A HREF="http://www4.in.tum.de/~urbanc/cgi-bin/repos.cgi/types/raw-file/tip/lecture2.pdf">Lec 2</A>]
 
    94 [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/types/raw-file/tip/lecture2.pdf">Lec 2</A>]
 
    95 [<A HREF="http://www4.in.tum.de/~urbanc/cgi-bin/repos.cgi/types/raw-file/tip/lecture3_script.pdf">Lec 3</A>]
 
    95 [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/types/raw-file/tip/lecture3_script.pdf">Lec 3</A>]
 
    96 [<A HREF="http://www4.in.tum.de/~urbanc/cgi-bin/repos.cgi/types/raw-file/tip/lecture4_script.pdf">Lec 4</A>]
 
    96 [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/types/raw-file/tip/lecture4_script.pdf">Lec 4</A>]
 
    97 [<A HREF="http://www4.in.tum.de/~urbanc/cgi-bin/repos.cgi/types/raw-file/tip/lecture5_script.pdf">Lec 5</A>]
 
    97 [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/types/raw-file/tip/lecture5_script.pdf">Lec 5</A>]
 
    98 [<A HREF="http://www4.in.tum.de/~urbanc/cgi-bin/repos.cgi/types/raw-file/tip/lecture6_script.pdf">Lec 6</A>]
 
    98 [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/types/raw-file/tip/lecture6_script.pdf">Lec 6</A>]
 
    99 [<A HREF="http://www4.in.tum.de/~urbanc/cgi-bin/repos.cgi/types/raw-file/tip/lecture7_script.pdf">Lec 7</A>]
 
    99 [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/types/raw-file/tip/lecture7_script.pdf">Lec 7</A>]
 
   100 [<A HREF="http://www4.in.tum.de/~urbanc/cgi-bin/repos.cgi/types/raw-file/tip/lecture8.pdf">Lec 8</A>]
 
   100 [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/types/raw-file/tip/lecture8.pdf">Lec 8</A>]
 
   101 <li>two-day Isabelle/Isar tutorial at the University Paris Sud with Markus Wenzel
 
   101 <li>two-day Isabelle/Isar tutorial at the University Paris Sud with Markus Wenzel
 
   102 </ul>
 
   102 </ul>
 
   103 </TD>
 
   103 </TD>
 
   104 </TR>
 
   104 </TR>
 
   105 
   105 
   108 <H3>2009-2010</H3>
 
   108 <H3>2009-2010</H3>
 
   109 
   109 
   110 <p><B>Summer</B> 
   110 <p><B>Summer</B> 
   111 <ul>
 
   111 <ul>
 
   112 <li>a course on Isabelle Programming at the University of Science and Technology in Nanjing (24 hours)
 
   112 <li>a course on Isabelle Programming at the University of Science and Technology in Nanjing (24 hours)
 
   113   [<A HREF="http://www4.in.tum.de/~urbanc/cgi-bin/repos.cgi/nanjing lectures/raw-file/tip/Lec01.thy">Lec 1</A>]
 
   113   [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/nanjing lectures/raw-file/tip/Lec01.thy">Lec 1</A>]
 
   114   [<A HREF="http://www4.in.tum.de/~urbanc/cgi-bin/repos.cgi/nanjing lectures/raw-file/tip/Lec02.thy">Lec 2</A>]
 
   114   [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/nanjing lectures/raw-file/tip/Lec02.thy">Lec 2</A>]
 
   115   [<A HREF="http://www4.in.tum.de/~urbanc/cgi-bin/repos.cgi/nanjing lectures/raw-file/tip/Lec03.thy">Lec 3</A>]
 
   115   [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/nanjing lectures/raw-file/tip/Lec03.thy">Lec 3</A>]
 
   116   [<A HREF="http://www4.in.tum.de/~urbanc/cgi-bin/repos.cgi/nanjing lectures/raw-file/tip/Lec04.thy">Lec 4</A>]
 
   116   [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/nanjing lectures/raw-file/tip/Lec04.thy">Lec 4</A>]
 
   117   [<A HREF="http://www4.in.tum.de/~urbanc/cgi-bin/repos.cgi/nanjing lectures/raw-file/tip/Lec05.thy">Lec 5</A>]
 
   117   [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/nanjing lectures/raw-file/tip/Lec05.thy">Lec 5</A>]
 
   118   [<A HREF="http://www4.in.tum.de/~urbanc/cgi-bin/repos.cgi/nanjing lectures/raw-file/tip/Lec06.thy">Lec 6</A>]
 
   118   [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/nanjing lectures/raw-file/tip/Lec06.thy">Lec 6</A>]
 
   119   [<A HREF="http://www4.in.tum.de/~urbanc/cgi-bin/repos.cgi/nanjing lectures/raw-file/tip/Lec07.thy">Lec 7</A>]  
   119   [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/nanjing lectures/raw-file/tip/Lec07.thy">Lec 7</A>]  
   120   [<A HREF="http://www4.in.tum.de/~urbanc/cgi-bin/repos.cgi/nanjing lectures/raw-file/tip/Lec08.thy">Lec 8</A>] 
   120   [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/nanjing lectures/raw-file/tip/Lec08.thy">Lec 8</A>] 
   121   [<A HREF="http://www4.in.tum.de/~urbanc/cgi-bin/repos.cgi/nanjing lectures/raw-file/tip/Lec09.thy">Lec 9</A>]   
   121   [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/nanjing lectures/raw-file/tip/Lec09.thy">Lec 9</A>]   
   122   [<A HREF="http://www4.in.tum.de/~urbanc/cgi-bin/repos.cgi/nanjing lectures/raw-file/tip/Lec10.thy">Lec 10</A>]   
   122   [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/nanjing lectures/raw-file/tip/Lec10.thy">Lec 10</A>]   
   123   [<A HREF="http://www4.in.tum.de/~urbanc/cgi-bin/repos.cgi/nanjing lectures/raw-file/tip/Lec11.thy">Lec 11</A>]   
   123   [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/nanjing lectures/raw-file/tip/Lec11.thy">Lec 11</A>]   
   124   [<A HREF="http://www4.in.tum.de/~urbanc/cgi-bin/repos.cgi/nanjing lectures/raw-file/tip/Lec12.thy">Lec 12</A>]   
   124   [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/nanjing lectures/raw-file/tip/Lec12.thy">Lec 12</A>]   
   125 </ul>
 
   125 </ul>
 
   126 </TD>
 
   126 </TD>
 
   127 </TR>
 
   127 </TR>
 
   128 
   128 
   129 <TR>
 
   129 <TR>
 
   138 </ul>
 
   138 </ul>
 
   139 
   139 
   140 <p><B>Autumn</B> 
   140 <p><B>Autumn</B> 
   141 <ul>
 
   141 <ul>
 
   142 <li>a course in <A HREF="http://www.cs.princeton.edu/">Princeton</A> on 
   142 <li>a course in <A HREF="http://www.cs.princeton.edu/">Princeton</A> on 
   143 <A HREF="http://www4.in.tum.de/~urbanc/Teaching/isabelle08.html">Isabelle, Binders and SOS</A> 
   143 <A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Teaching/isabelle08.html">Isabelle, Binders and SOS</A> 
   144 for students and members of the PL group (8h)
 
   144 for students and members of the PL group (8h)
 
   145 </ul>
 
   145 </ul>
 
   146 
   146 
   147 </TD>
 
   147 </TD>
 
   148 </TR>
 
   148 </TR>
 
   151 <TD BGCOLOR="#FFFFFF" WIDTH="75%">
 
   151 <TD BGCOLOR="#FFFFFF" WIDTH="75%">
 
   152 <H3>2007-2008</H3>
 
   152 <H3>2007-2008</H3>
 
   153 
   153 
   154 <p><B>Sommersemester</B> 
   154 <p><B>Sommersemester</B> 
   155 <ul>
 
   155 <ul>
 
   156 <li><A HREF="http://www4.in.tum.de/~urbanc/Teaching/semantics08.html">Semantics of Programming Languages</A> 
   156 <li><A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Teaching/semantics08.html">Semantics of Programming Languages</A> 
   157 (28h)
 
   157 (28h)
 
   158 <li>a course on Nominal Isabelle at the
 
   158 <li>a course on Nominal Isabelle at the
 
   159 <A HREF="http://www.cs.uoregon.edu/research/summerschool/summer08/">Oregon Summer School 
   159 <A HREF="http://www.cs.uoregon.edu/research/summerschool/summer08/">Oregon Summer School 
   160 on Logic and Theorem Proving in Programming Languages</A> (4h)
 
   160 on Logic and Theorem Proving in Programming Languages</A> (4h)
 
   161 [<A HREF="http://www4.in.tum.de/~urbanc/Slides/oregon1.pdf">Slides 1</A>]
 
   161 [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/oregon1.pdf">Slides 1</A>]
 
   162 [<A HREF="http://www4.in.tum.de/~urbanc/Slides/oregon2.pdf">Slides 2</A>]
 
   162 [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/oregon2.pdf">Slides 2</A>]
 
   163 [<A HREF="http://www4.in.tum.de/~urbanc/Slides/oregon3.pdf">Slides 3</A>]
 
   163 [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/oregon3.pdf">Slides 3</A>]
 
   164 [<A HREF="http://www.cs.uoregon.edu/research/summerschool/summer08/video/July25Lect3.wmv">Video 1</A>]
 
   164 [<A HREF="http://www.cs.uoregon.edu/research/summerschool/summer08/video/July25Lect3.wmv">Video 1</A>]
 
   165 [<A HREF="http://www.cs.uoregon.edu/research/summerschool/summer08/video/July26Lect2.wmv">Video 2</A>]
 
   165 [<A HREF="http://www.cs.uoregon.edu/research/summerschool/summer08/video/July26Lect2.wmv">Video 2</A>]
 
   166 [<A HREF="http://www.cs.uoregon.edu/research/summerschool/summer08/video/July24Lect1.wmv">Video 3</A>]
 
   166 [<A HREF="http://www.cs.uoregon.edu/research/summerschool/summer08/video/July24Lect1.wmv">Video 3</A>]
 
   167 </ul>
 
   167 </ul>
 
   168 
   168 
   173 <TD BGCOLOR="#FFFFFF" WIDTH="75%">
 
   173 <TD BGCOLOR="#FFFFFF" WIDTH="75%">
 
   174 <H3>2006-2007</H3>
 
   174 <H3>2006-2007</H3>
 
   175 <p><B>Wintersemester</B>
 
   175 <p><B>Wintersemester</B>
 
   176 <ul><li><A HREF="http://www4.in.tum.de/lehre/vorlesungen/types/WS0607/index.shtml">Types course</A> 
   176 <ul><li><A HREF="http://www4.in.tum.de/lehre/vorlesungen/types/WS0607/index.shtml">Types course</A> 
   177  at the TU Munich (21h, slides of
 
   177  at the TU Munich (21h, slides of
 
   178   [<A HREF="http://www4.in.tum.de/~urbanc/Slides/types-01.pdf">Lec 1</A>]
 
   178   [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/types-01.pdf">Lec 1</A>]
 
   179   [<A HREF="http://www4.in.tum.de/~urbanc/Slides/types-02.pdf">Lec 2</A>]
 
   179   [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/types-02.pdf">Lec 2</A>]
 
   180   [<A HREF="http://www4.in.tum.de/~urbanc/Slides/types-03.pdf">Lec 3</A>]
 
   180   [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/types-03.pdf">Lec 3</A>]
 
   181   [<A HREF="http://www4.in.tum.de/~urbanc/Slides/types-04.pdf">Lec 4</A>]
 
   181   [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/types-04.pdf">Lec 4</A>]
 
   182   [<A HREF="http://www4.in.tum.de/~urbanc/Slides/types-05.pdf">Lec 5</A>,
 
   182   [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/types-05.pdf">Lec 5</A>,
 
   183    <A HREF="http://www4.in.tum.de/~urbanc/Slides/handout-05.pdf">Ho 5</A>]
 
   183    <A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/handout-05.pdf">Ho 5</A>]
 
   184   [<A HREF="http://www4.in.tum.de/~urbanc/Slides/types-06.pdf">Lec 6</A>]
 
   184   [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/types-06.pdf">Lec 6</A>]
 
   185   [<A HREF="http://www4.in.tum.de/~urbanc/Slides/types-07.pdf">Lec 7</A>]
 
   185   [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/types-07.pdf">Lec 7</A>]
 
   186   [<A HREF="http://www4.in.tum.de/~urbanc/Slides/types-08.pdf">Lec 8</A>]
 
   186   [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/types-08.pdf">Lec 8</A>]
 
   187   [<A HREF="http://www4.in.tum.de/~urbanc/Slides/types-09.pdf">Lec 9</A>]
 
   187   [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/types-09.pdf">Lec 9</A>]
 
   188   [<A HREF="http://www4.in.tum.de/~urbanc/Slides/types-10.pdf">Lec 10</A>]
 
   188   [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/types-10.pdf">Lec 10</A>]
 
   189   [<A HREF="http://www4.in.tum.de/~urbanc/Slides/types-11.pdf">Lec 11</A>])
 
   189   [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/types-11.pdf">Lec 11</A>])
 
   190 </li></ul>
 
   190 </li></ul>
 
   191 
   191 
   192 
   192 
   193 <p><B>Sommersemester</B> 
   193 <p><B>Sommersemester</B> 
   194 <ul><li>A course at the International School on Rewriting (1.5h)</li></ul>
 
   194 <ul><li>A course at the International School on Rewriting (1.5h)</li></ul>
 
   200 <H3>2005-2006</H3>
 
   200 <H3>2005-2006</H3>
 
   201 <p><B>Wintersemester</B>
 
   201 <p><B>Wintersemester</B>
 
   202 <ul><li>Scheme course at the LMU (4h)</li>
 
   202 <ul><li>Scheme course at the LMU (4h)</li>
 
   203     <li>a course on nominal datatypes at the University of Pennsylvania 
   203     <li>a course on nominal datatypes at the University of Pennsylvania 
   204     (6.5h, slides of
 
   204     (6.5h, slides of
 
   205      [<A HREF="http://www4.in.tum.de/~urbanc/Slides/upenn01.ps">Lec 1</A>]
 
   205      [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/upenn01.ps">Lec 1</A>]
 
   206      [<A HREF="http://www4.in.tum.de/~urbanc/Slides/upenn02.ps">Lec 2</A>]
 
   206      [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/upenn02.ps">Lec 2</A>]
 
   207      [<A HREF="http://www4.in.tum.de/~urbanc/Slides/upenn03.ps">Lec 3</A>]
 
   207      [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/upenn03.ps">Lec 3</A>]
 
   208      [<A HREF="http://www4.in.tum.de/~urbanc/Slides/upenn04.ps">Lec 4</A>])</li>
 
   208      [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/upenn04.ps">Lec 4</A>])</li>
 
   209     <li>Theory-Minicourse on nominal datatypes in Cambridge 
   209     <li>Theory-Minicourse on nominal datatypes in Cambridge 
   210     (4h, slides of
 
   210     (4h, slides of
 
   211      [<A HREF="http://www4.in.tum.de/~urbanc/Slides/cam01.ps">Lec 1</A>]
 
   211      [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/cam01.ps">Lec 1</A>]
 
   212      [<A HREF="http://www4.in.tum.de/~urbanc/Slides/cam02.ps">Lec 2</A>]
 
   212      [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/cam02.ps">Lec 2</A>]
 
   213      [<A HREF="http://www4.in.tum.de/~urbanc/Slides/cam03.ps">Lec 3</A>]
 
   213      [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/cam03.ps">Lec 3</A>]
 
   214      [<A HREF="http://www4.in.tum.de/~urbanc/Slides/cam04.ps">Lec 4</A>])</li> 
   214      [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/cam04.ps">Lec 4</A>])</li> 
   215     <li>Club2-course on the nominal datatype package at the TU Munich 
   215     <li>Club2-course on the nominal datatype package at the TU Munich 
   216     (5h, slides of
 
   216     (5h, slides of
 
   217      [<A HREF="http://www4.in.tum.de/~urbanc/Slides/slides-club2a.pdf">Lec 1</A>]
 
   217      [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/slides-club2a.pdf">Lec 1</A>]
 
   218      [<A HREF="http://www4.in.tum.de/~urbanc/Slides/slides-club2b.pdf">Lec 2</A>]
 
   218      [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/slides-club2b.pdf">Lec 2</A>]
 
   219      [<A HREF="http://www4.in.tum.de/~urbanc/Slides/slides-club2c.pdf">Lec 3</A>]
 
   219      [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/slides-club2c.pdf">Lec 3</A>]
 
   220      [<A HREF="http://www4.in.tum.de/~urbanc/Slides/slides-club2d.pdf">Lec 4</A>]
 
   220      [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/slides-club2d.pdf">Lec 4</A>]
 
   221      [<A HREF="http://www4.in.tum.de/~urbanc/Slides/slides-club2e.pdf">Lec 5</A>])</li> 
   221      [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/slides-club2e.pdf">Lec 5</A>])</li> 
   222 </ul>
 
   222 </ul>
 
   223 </TD>
 
   223 </TD>
 
   224 </TR>
 
   224 </TR>
 
   225 
   225 
   226 <TR>
 
   226 <TR>
 
   232     <dd>Discrete Structures for Computer Scientists at the LMU (12h)
 
   232     <dd>Discrete Structures for Computer Scientists at the LMU (12h)
 
   233 </dl>
 
   233 </dl>
 
   234 <p><B>Sommersemester</B> 
   234 <p><B>Sommersemester</B> 
   235 <dl><dd>A course on my nominal work at the LMU (10h)
 
   235 <dl><dd>A course on my nominal work at the LMU (10h)
 
   236     (slides of
 
   236     (slides of
 
   237      [<A HREF="http://www4.in.tum.de/~urbanc/Slides/nom01.ps">Lec 1</A>]
 
   237      [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/nom01.ps">Lec 1</A>]
 
   238      [<A HREF="http://www4.in.tum.de/~urbanc/Slides/nom02.ps">Lec 2</A>]
 
   238      [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/nom02.ps">Lec 2</A>]
 
   239      [<A HREF="http://www4.in.tum.de/~urbanc/Slides/nom03.ps">Lec 3</A>]
 
   239      [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/nom03.ps">Lec 3</A>]
 
   240      [<A HREF="http://www4.in.tum.de/~urbanc/Slides/nom04.ps">Lec 4</A>]
 
   240      [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/nom04.ps">Lec 4</A>]
 
   241      [<A HREF="http://www4.in.tum.de/~urbanc/Slides/nom05.ps">Lec 5</A>]
 
   241      [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/nom05.ps">Lec 5</A>]
 
   242      [<A HREF="http://www4.in.tum.de/~urbanc/Slides/nom06.ps">Lec 6</A>]
 
   242      [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/nom06.ps">Lec 6</A>]
 
   243      [<A HREF="http://www4.in.tum.de/~urbanc/Slides/nom07.ps">Lec 7</A>]
 
   243      [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/nom07.ps">Lec 7</A>]
 
   244      [<A HREF="http://www4.in.tum.de/~urbanc/Slides/nom08.ps">Lec 8</A>]
 
   244      [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/nom08.ps">Lec 8</A>]
 
   245      [<A HREF="http://www4.in.tum.de/~urbanc/Slides/nom09.ps">Lec 9</A>]
 
   245      [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/nom09.ps">Lec 9</A>]
 
   246      [<A HREF="http://www4.in.tum.de/~urbanc/Slides/nom10.ps">Lec 10</A>])
 
   246      [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/nom10.ps">Lec 10</A>])
 
   247 </dl>
 
   247 </dl>
 
   248 </TD>
 
   248 </TD>
 
   249 </TR>
 
   249 </TR>
 
   250 
   250 
   251 <TR>
 
   251 <TR>
 
   271 
   271 
   272 <p><B>Summer</B>
 
   272 <p><B>Summer</B>
 
   273 <dl><dd>Avanced course on nominal logic at the 
   273 <dl><dd>Avanced course on nominal logic at the 
   274     <a href="http://esslli2004.loria.fr/">ESSLLI</a> summerschool in Nancy<BR>
 
   274     <a href="http://esslli2004.loria.fr/">ESSLLI</a> summerschool in Nancy<BR>
 
   275      (slides of
 
   275      (slides of
 
   276      [<A HREF="http://www4.in.tum.de/~urbanc/Slides/MONDAY.pdf">Day 1</A>] 
   276      [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/MONDAY.pdf">Day 1</A>] 
   277      [<A HREF="http://www4.in.tum.de/~urbanc/Slides/TUESDAY.pdf">Day 2</A>] 
   277      [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/TUESDAY.pdf">Day 2</A>] 
   278      [<A HREF="http://www4.in.tum.de/~urbanc/Slides/WEDNESDAY.pdf">Day 3</A>] 
   278      [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/WEDNESDAY.pdf">Day 3</A>] 
   279      [<A HREF="http://www4.in.tum.de/~urbanc/Slides/THURSDAY.pdf">Day 4</A>] 
   279      [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/THURSDAY.pdf">Day 4</A>] 
   280      [<A HREF="http://www4.in.tum.de/~urbanc/Slides/FRIDAY.pdf">Day 5</A>]) 
   280      [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/FRIDAY.pdf">Day 5</A>]) 
   281     <dd>student intern from the ENS Cachan
 
   281     <dd>student intern from the ENS Cachan
 
   282 </dl>
 
   282 </dl>
 
   283 </TD>
 
   283 </TD>
 
   284 </TR>
 
   284 </TR>
 
   285 
   285
public_html