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.inf.kcl.ac.uk/staff/urbanc/"> |
5 <BASE HREF="http://nms.kcl.ac.uk/christian.urban/"> |
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="17"> |
40 ROWSPAN="17"> |
41 |
41 |
42 <B>Links</B><BR> |
42 <B>Links</B><BR> |
43 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/">Home</A><BR> |
43 <A HREF="http://nms.kcl.ac.uk/christian.urban/">Home</A><BR> |
44 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/publications.html">Publications</A><BR> |
44 <A HREF="http://nms.kcl.ac.uk/christian.urban/publications.html">Publications</A><BR> |
45 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/teaching.html">Teaching</A><BR> |
45 <A HREF="http://nms.kcl.ac.uk/christian.urban/teaching.html">Teaching</A><BR> |
46 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/travelling.html">Recent Talks</A><BR> |
46 <A HREF="http://nms.kcl.ac.uk/christian.urban/travelling.html">Recent Talks</A><BR> |
47 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/">Nominal Isabelle</A> |
47 <A HREF="http://nms.kcl.ac.uk/christian.urban/Nominal/">Nominal Isabelle</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.inf.kcl.ac.uk/staff/urbanc/logic.html">People in Logic</A><BR> |
52 <A HREF="http://nms.kcl.ac.uk/christian.urban/logic.html">People in Logic</A><BR> |
53 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/programming.html">Programming Languages</A><BR> |
53 <A HREF="http://nms.kcl.ac.uk/christian.urban/programming.html">Programming Languages</A><BR> |
54 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/misc.html">Miscellaneous</A> |
54 <A HREF="http://nms.kcl.ac.uk/christian.urban/misc.html">Miscellaneous</A> |
55 <BR><BR> |
55 <BR><BR> |
56 |
56 |
57 <table border="0"> |
57 <table border="0"> |
58 <tr> |
58 <tr> |
59 <td> |
59 <td> |
60 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/"> |
60 <A HREF="http://nms.kcl.ac.uk/christian.urban/Nominal/"> |
61 <IMG SRC="nominal-logo.gif" ALT="" style="border-width: 0px;" align="left"></A> |
61 <IMG SRC="nominal-logo.gif" ALT="" style="border-width: 0px;" align="left"></A> |
62 </td> |
62 </td> |
63 </tr> |
63 </tr> |
64 <tr> |
64 <tr> |
65 <td> |
65 <td> |
66 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Cookbook/"> |
66 <A HREF="http://nms.kcl.ac.uk/christian.urban/Cookbook/"> |
67 <IMG SRC="Cookbook/logo-documentation.gif" ALT="" style="border-width: 0px;" align="left"></A> |
67 <IMG SRC="Cookbook/logo-documentation.gif" ALT="" style="border-width: 0px;" align="left"></A> |
68 </td> |
68 </td> |
69 </tr> |
69 </tr> |
70 </table> |
70 </table> |
71 </TD> |
71 </TD> |
215 |
215 |
216 <p><B>Autumn</B> |
216 <p><B>Autumn</B> |
217 <ul> |
217 <ul> |
218 <li>Types course at the University of Cambridge (Mondays, |
218 <li>Types course at the University of Cambridge (Mondays, |
219 Wednesdays and Fridays at 10 o'clock in Lecture Theater 2, starting 8th October) |
219 Wednesdays and Fridays at 10 o'clock in Lecture Theater 2, starting 8th October) |
220 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/types/raw-file/tip/lecture1.pdf">Lec 1</A>] |
220 [<A HREF="http://nms.kcl.ac.uk/christian.urban/cgi-bin/repos.cgi/types/raw-file/tip/lecture1.pdf">Lec 1</A>] |
221 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/types/raw-file/tip/lecture2.pdf">Lec 2</A>] |
221 [<A HREF="http://nms.kcl.ac.uk/christian.urban/cgi-bin/repos.cgi/types/raw-file/tip/lecture2.pdf">Lec 2</A>] |
222 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/types/raw-file/tip/lecture3_script.pdf">Lec 3</A>] |
222 [<A HREF="http://nms.kcl.ac.uk/christian.urban/cgi-bin/repos.cgi/types/raw-file/tip/lecture3_script.pdf">Lec 3</A>] |
223 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/types/raw-file/tip/lecture4_script.pdf">Lec 4</A>] |
223 [<A HREF="http://nms.kcl.ac.uk/christian.urban/cgi-bin/repos.cgi/types/raw-file/tip/lecture4_script.pdf">Lec 4</A>] |
224 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/types/raw-file/tip/lecture5_script.pdf">Lec 5</A>] |
224 [<A HREF="http://nms.kcl.ac.uk/christian.urban/cgi-bin/repos.cgi/types/raw-file/tip/lecture5_script.pdf">Lec 5</A>] |
225 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/types/raw-file/tip/lecture6_script.pdf">Lec 6</A>] |
225 [<A HREF="http://nms.kcl.ac.uk/christian.urban/cgi-bin/repos.cgi/types/raw-file/tip/lecture6_script.pdf">Lec 6</A>] |
226 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/types/raw-file/tip/lecture7_script.pdf">Lec 7</A>] |
226 [<A HREF="http://nms.kcl.ac.uk/christian.urban/cgi-bin/repos.cgi/types/raw-file/tip/lecture7_script.pdf">Lec 7</A>] |
227 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/types/raw-file/tip/lecture8.pdf">Lec 8</A>] |
227 [<A HREF="http://nms.kcl.ac.uk/christian.urban/cgi-bin/repos.cgi/types/raw-file/tip/lecture8.pdf">Lec 8</A>] |
228 <li>two-day Isabelle/Isar tutorial at the University Paris Sud with Markus Wenzel |
228 <li>two-day Isabelle/Isar tutorial at the University Paris Sud with Markus Wenzel |
229 </ul> |
229 </ul> |
230 </TD> |
230 </TD> |
231 </TR> |
231 </TR> |
232 |
232 |
235 <H3>2009-2010</H3> |
235 <H3>2009-2010</H3> |
236 |
236 |
237 <p><B>Summer</B> |
237 <p><B>Summer</B> |
238 <ul> |
238 <ul> |
239 <li>a course on Isabelle Programming at the University of Science and Technology in Nanjing (24 hours) |
239 <li>a course on Isabelle Programming at the University of Science and Technology in Nanjing (24 hours) |
240 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/nanjing lectures/raw-file/tip/Lec01.thy">Lec 1</A>] |
240 [<A HREF="http://nms.kcl.ac.uk/christian.urban/cgi-bin/repos.cgi/nanjing lectures/raw-file/tip/Lec01.thy">Lec 1</A>] |
241 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/nanjing lectures/raw-file/tip/Lec02.thy">Lec 2</A>] |
241 [<A HREF="http://nms.kcl.ac.uk/christian.urban/cgi-bin/repos.cgi/nanjing lectures/raw-file/tip/Lec02.thy">Lec 2</A>] |
242 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/nanjing lectures/raw-file/tip/Lec03.thy">Lec 3</A>] |
242 [<A HREF="http://nms.kcl.ac.uk/christian.urban/cgi-bin/repos.cgi/nanjing lectures/raw-file/tip/Lec03.thy">Lec 3</A>] |
243 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/nanjing lectures/raw-file/tip/Lec04.thy">Lec 4</A>] |
243 [<A HREF="http://nms.kcl.ac.uk/christian.urban/cgi-bin/repos.cgi/nanjing lectures/raw-file/tip/Lec04.thy">Lec 4</A>] |
244 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/nanjing lectures/raw-file/tip/Lec05.thy">Lec 5</A>] |
244 [<A HREF="http://nms.kcl.ac.uk/christian.urban/cgi-bin/repos.cgi/nanjing lectures/raw-file/tip/Lec05.thy">Lec 5</A>] |
245 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/nanjing lectures/raw-file/tip/Lec06.thy">Lec 6</A>] |
245 [<A HREF="http://nms.kcl.ac.uk/christian.urban/cgi-bin/repos.cgi/nanjing lectures/raw-file/tip/Lec06.thy">Lec 6</A>] |
246 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/nanjing lectures/raw-file/tip/Lec07.thy">Lec 7</A>] |
246 [<A HREF="http://nms.kcl.ac.uk/christian.urban/cgi-bin/repos.cgi/nanjing lectures/raw-file/tip/Lec07.thy">Lec 7</A>] |
247 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/nanjing lectures/raw-file/tip/Lec08.thy">Lec 8</A>] |
247 [<A HREF="http://nms.kcl.ac.uk/christian.urban/cgi-bin/repos.cgi/nanjing lectures/raw-file/tip/Lec08.thy">Lec 8</A>] |
248 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/nanjing lectures/raw-file/tip/Lec09.thy">Lec 9</A>] |
248 [<A HREF="http://nms.kcl.ac.uk/christian.urban/cgi-bin/repos.cgi/nanjing lectures/raw-file/tip/Lec09.thy">Lec 9</A>] |
249 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/nanjing lectures/raw-file/tip/Lec10.thy">Lec 10</A>] |
249 [<A HREF="http://nms.kcl.ac.uk/christian.urban/cgi-bin/repos.cgi/nanjing lectures/raw-file/tip/Lec10.thy">Lec 10</A>] |
250 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/nanjing lectures/raw-file/tip/Lec11.thy">Lec 11</A>] |
250 [<A HREF="http://nms.kcl.ac.uk/christian.urban/cgi-bin/repos.cgi/nanjing lectures/raw-file/tip/Lec11.thy">Lec 11</A>] |
251 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/nanjing lectures/raw-file/tip/Lec12.thy">Lec 12</A>] |
251 [<A HREF="http://nms.kcl.ac.uk/christian.urban/cgi-bin/repos.cgi/nanjing lectures/raw-file/tip/Lec12.thy">Lec 12</A>] |
252 </ul> |
252 </ul> |
253 </TD> |
253 </TD> |
254 </TR> |
254 </TR> |
255 |
255 |
256 <TR> |
256 <TR> |
257 <TD BGCOLOR="#FFFFFF" WIDTH="75%"> |
257 <TD BGCOLOR="#FFFFFF" WIDTH="75%"> |
258 <H3>2008-2009</H3> |
258 <H3>2008-2009</H3> |
259 |
259 |
260 <p><B>Summer</B> |
260 <p><B>Summer</B> |
261 <ul> |
261 <ul> |
262 <li>a <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/activities/cas09/">course</A> |
262 <li>a <A HREF="http://nms.kcl.ac.uk/christian.urban/Nominal/activities/cas09/">course</A> |
263 on Isabelle at the Chinese Academy of Science (7.5 h) |
263 on Isabelle at the Chinese Academy of Science (7.5 h) |
264 <li>Pearls in Computer Science, a course for gifted undergraduate students in Munich (5h) |
264 <li>Pearls in Computer Science, a course for gifted undergraduate students in Munich (5h) |
265 </ul> |
265 </ul> |
266 |
266 |
267 <p><B>Autumn</B> |
267 <p><B>Autumn</B> |
268 <ul> |
268 <ul> |
269 <li>a course in <A HREF="http://www.cs.princeton.edu/">Princeton</A> on |
269 <li>a course in <A HREF="http://www.cs.princeton.edu/">Princeton</A> on |
270 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Teaching/isabelle08.html">Isabelle, Binders and SOS</A> |
270 <A HREF="http://nms.kcl.ac.uk/christian.urban/Teaching/isabelle08.html">Isabelle, Binders and SOS</A> |
271 for students and members of the PL group (8h) |
271 for students and members of the PL group (8h) |
272 </ul> |
272 </ul> |
273 |
273 |
274 </TD> |
274 </TD> |
275 </TR> |
275 </TR> |
278 <TD BGCOLOR="#FFFFFF" WIDTH="75%"> |
278 <TD BGCOLOR="#FFFFFF" WIDTH="75%"> |
279 <H3>2007-2008</H3> |
279 <H3>2007-2008</H3> |
280 |
280 |
281 <p><B>Sommersemester</B> |
281 <p><B>Sommersemester</B> |
282 <ul> |
282 <ul> |
283 <li><A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Teaching/semantics08.html">Semantics of Programming Languages</A> |
283 <li><A HREF="http://nms.kcl.ac.uk/christian.urban/Teaching/semantics08.html">Semantics of Programming Languages</A> |
284 (28h) |
284 (28h) |
285 <li>a course on Nominal Isabelle at the |
285 <li>a course on Nominal Isabelle at the |
286 <A HREF="http://www.cs.uoregon.edu/research/summerschool/summer08/">Oregon Summer School |
286 <A HREF="http://www.cs.uoregon.edu/research/summerschool/summer08/">Oregon Summer School |
287 on Logic and Theorem Proving in Programming Languages</A> (4h) |
287 on Logic and Theorem Proving in Programming Languages</A> (4h) |
288 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/oregon1.pdf">Slides 1</A>] |
288 [<A HREF="http://nms.kcl.ac.uk/christian.urban/Slides/oregon1.pdf">Slides 1</A>] |
289 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/oregon2.pdf">Slides 2</A>] |
289 [<A HREF="http://nms.kcl.ac.uk/christian.urban/Slides/oregon2.pdf">Slides 2</A>] |
290 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/oregon3.pdf">Slides 3</A>] |
290 [<A HREF="http://nms.kcl.ac.uk/christian.urban/Slides/oregon3.pdf">Slides 3</A>] |
291 [<A HREF="http://www.cs.uoregon.edu/Research/summerschool/summer08/video/July25Lect3.wmv">Video 1</A>] |
291 [<A HREF="http://www.cs.uoregon.edu/Research/summerschool/summer08/video/July25Lect3.wmv">Video 1</A>] |
292 [<A HREF="http://www.cs.uoregon.edu/Research/summerschool/summer08/video/July26Lect2.wmv">Video 2</A>] |
292 [<A HREF="http://www.cs.uoregon.edu/Research/summerschool/summer08/video/July26Lect2.wmv">Video 2</A>] |
293 [<A HREF="http://www.cs.uoregon.edu/Research/summerschool/summer08/video/July24Lect1.wmv">Video 3</A>] |
293 [<A HREF="http://www.cs.uoregon.edu/Research/summerschool/summer08/video/July24Lect1.wmv">Video 3</A>] |
294 </ul> |
294 </ul> |
295 |
295 |
299 <TR> |
299 <TR> |
300 <TD BGCOLOR="#FFFFFF" WIDTH="75%"> |
300 <TD BGCOLOR="#FFFFFF" WIDTH="75%"> |
301 <H3>2006-2007</H3> |
301 <H3>2006-2007</H3> |
302 <p><B>Wintersemester</B> |
302 <p><B>Wintersemester</B> |
303 <ul><li>Types course at the TU Munich (21h, slides of |
303 <ul><li>Types course at the TU Munich (21h, slides of |
304 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/types-01.pdf">Lec 1</A>] |
304 [<A HREF="http://nms.kcl.ac.uk/christian.urban/Slides/types-01.pdf">Lec 1</A>] |
305 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/types-02.pdf">Lec 2</A>] |
305 [<A HREF="http://nms.kcl.ac.uk/christian.urban/Slides/types-02.pdf">Lec 2</A>] |
306 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/types-03.pdf">Lec 3</A>] |
306 [<A HREF="http://nms.kcl.ac.uk/christian.urban/Slides/types-03.pdf">Lec 3</A>] |
307 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/types-04.pdf">Lec 4</A>] |
307 [<A HREF="http://nms.kcl.ac.uk/christian.urban/Slides/types-04.pdf">Lec 4</A>] |
308 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/types-05.pdf">Lec 5</A>, |
308 [<A HREF="http://nms.kcl.ac.uk/christian.urban/Slides/types-05.pdf">Lec 5</A>, |
309 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/handout-05.pdf">Ho 5</A>] |
309 <A HREF="http://nms.kcl.ac.uk/christian.urban/Slides/handout-05.pdf">Ho 5</A>] |
310 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/types-06.pdf">Lec 6</A>] |
310 [<A HREF="http://nms.kcl.ac.uk/christian.urban/Slides/types-06.pdf">Lec 6</A>] |
311 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/types-07.pdf">Lec 7</A>] |
311 [<A HREF="http://nms.kcl.ac.uk/christian.urban/Slides/types-07.pdf">Lec 7</A>] |
312 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/types-08.pdf">Lec 8</A>] |
312 [<A HREF="http://nms.kcl.ac.uk/christian.urban/Slides/types-08.pdf">Lec 8</A>] |
313 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/types-09.pdf">Lec 9</A>] |
313 [<A HREF="http://nms.kcl.ac.uk/christian.urban/Slides/types-09.pdf">Lec 9</A>] |
314 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/types-10.pdf">Lec 10</A>] |
314 [<A HREF="http://nms.kcl.ac.uk/christian.urban/Slides/types-10.pdf">Lec 10</A>] |
315 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/types-11.pdf">Lec 11</A>]) |
315 [<A HREF="http://nms.kcl.ac.uk/christian.urban/Slides/types-11.pdf">Lec 11</A>]) |
316 </li></ul> |
316 </li></ul> |
317 |
317 |
318 |
318 |
319 <p><B>Sommersemester</B> |
319 <p><B>Sommersemester</B> |
320 <ul><li>A course at the International School on Rewriting (1.5h)</li></ul> |
320 <ul><li>A course at the International School on Rewriting (1.5h)</li></ul> |
326 <H3>2005-2006</H3> |
326 <H3>2005-2006</H3> |
327 <p><B>Wintersemester</B> |
327 <p><B>Wintersemester</B> |
328 <ul><li>Scheme course at the LMU (4h)</li> |
328 <ul><li>Scheme course at the LMU (4h)</li> |
329 <li>a course on nominal datatypes at the University of Pennsylvania |
329 <li>a course on nominal datatypes at the University of Pennsylvania |
330 (6.5h, slides of |
330 (6.5h, slides of |
331 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/upenn01.ps">Lec 1</A>] |
331 [<A HREF="http://nms.kcl.ac.uk/christian.urban/Slides/upenn01.ps">Lec 1</A>] |
332 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/upenn02.ps">Lec 2</A>] |
332 [<A HREF="http://nms.kcl.ac.uk/christian.urban/Slides/upenn02.ps">Lec 2</A>] |
333 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/upenn03.ps">Lec 3</A>] |
333 [<A HREF="http://nms.kcl.ac.uk/christian.urban/Slides/upenn03.ps">Lec 3</A>] |
334 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/upenn04.ps">Lec 4</A>])</li> |
334 [<A HREF="http://nms.kcl.ac.uk/christian.urban/Slides/upenn04.ps">Lec 4</A>])</li> |
335 <li>Theory-Minicourse on nominal datatypes in Cambridge |
335 <li>Theory-Minicourse on nominal datatypes in Cambridge |
336 (4h, slides of |
336 (4h, slides of |
337 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/cam01.ps">Lec 1</A>] |
337 [<A HREF="http://nms.kcl.ac.uk/christian.urban/Slides/cam01.ps">Lec 1</A>] |
338 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/cam02.ps">Lec 2</A>] |
338 [<A HREF="http://nms.kcl.ac.uk/christian.urban/Slides/cam02.ps">Lec 2</A>] |
339 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/cam03.ps">Lec 3</A>] |
339 [<A HREF="http://nms.kcl.ac.uk/christian.urban/Slides/cam03.ps">Lec 3</A>] |
340 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/cam04.ps">Lec 4</A>])</li> |
340 [<A HREF="http://nms.kcl.ac.uk/christian.urban/Slides/cam04.ps">Lec 4</A>])</li> |
341 <li>Club2-course on the nominal datatype package at the TU Munich |
341 <li>Club2-course on the nominal datatype package at the TU Munich |
342 (5h, slides of |
342 (5h, slides of |
343 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/slides-club2a.pdf">Lec 1</A>] |
343 [<A HREF="http://nms.kcl.ac.uk/christian.urban/Slides/slides-club2a.pdf">Lec 1</A>] |
344 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/slides-club2b.pdf">Lec 2</A>] |
344 [<A HREF="http://nms.kcl.ac.uk/christian.urban/Slides/slides-club2b.pdf">Lec 2</A>] |
345 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/slides-club2c.pdf">Lec 3</A>] |
345 [<A HREF="http://nms.kcl.ac.uk/christian.urban/Slides/slides-club2c.pdf">Lec 3</A>] |
346 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/slides-club2d.pdf">Lec 4</A>] |
346 [<A HREF="http://nms.kcl.ac.uk/christian.urban/Slides/slides-club2d.pdf">Lec 4</A>] |
347 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/slides-club2e.pdf">Lec 5</A>])</li> |
347 [<A HREF="http://nms.kcl.ac.uk/christian.urban/Slides/slides-club2e.pdf">Lec 5</A>])</li> |
348 </ul> |
348 </ul> |
349 </TD> |
349 </TD> |
350 </TR> |
350 </TR> |
351 |
351 |
352 <TR> |
352 <TR> |
358 <dd>Discrete Structures for Computer Scientists at the LMU (12h) |
358 <dd>Discrete Structures for Computer Scientists at the LMU (12h) |
359 </dl> |
359 </dl> |
360 <p><B>Sommersemester</B> |
360 <p><B>Sommersemester</B> |
361 <dl><dd>A course on my nominal work at the LMU (10h) |
361 <dl><dd>A course on my nominal work at the LMU (10h) |
362 (slides of |
362 (slides of |
363 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/nom01.ps">Lec 1</A>] |
363 [<A HREF="http://nms.kcl.ac.uk/christian.urban/Slides/nom01.ps">Lec 1</A>] |
364 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/nom02.ps">Lec 2</A>] |
364 [<A HREF="http://nms.kcl.ac.uk/christian.urban/Slides/nom02.ps">Lec 2</A>] |
365 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/nom03.ps">Lec 3</A>] |
365 [<A HREF="http://nms.kcl.ac.uk/christian.urban/Slides/nom03.ps">Lec 3</A>] |
366 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/nom04.ps">Lec 4</A>] |
366 [<A HREF="http://nms.kcl.ac.uk/christian.urban/Slides/nom04.ps">Lec 4</A>] |
367 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/nom05.ps">Lec 5</A>] |
367 [<A HREF="http://nms.kcl.ac.uk/christian.urban/Slides/nom05.ps">Lec 5</A>] |
368 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/nom06.ps">Lec 6</A>] |
368 [<A HREF="http://nms.kcl.ac.uk/christian.urban/Slides/nom06.ps">Lec 6</A>] |
369 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/nom07.ps">Lec 7</A>] |
369 [<A HREF="http://nms.kcl.ac.uk/christian.urban/Slides/nom07.ps">Lec 7</A>] |
370 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/nom08.ps">Lec 8</A>] |
370 [<A HREF="http://nms.kcl.ac.uk/christian.urban/Slides/nom08.ps">Lec 8</A>] |
371 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/nom09.ps">Lec 9</A>] |
371 [<A HREF="http://nms.kcl.ac.uk/christian.urban/Slides/nom09.ps">Lec 9</A>] |
372 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/nom10.ps">Lec 10</A>]) |
372 [<A HREF="http://nms.kcl.ac.uk/christian.urban/Slides/nom10.ps">Lec 10</A>]) |
373 </dl> |
373 </dl> |
374 </TD> |
374 </TD> |
375 </TR> |
375 </TR> |
376 |
376 |
377 <TR> |
377 <TR> |
397 |
397 |
398 <p><B>Summer</B> |
398 <p><B>Summer</B> |
399 <dl><dd>Avanced course on nominal logic at the |
399 <dl><dd>Avanced course on nominal logic at the |
400 <a href="http://esslli2004.loria.fr/">ESSLLI</a> summerschool in Nancy<BR> |
400 <a href="http://esslli2004.loria.fr/">ESSLLI</a> summerschool in Nancy<BR> |
401 (slides of |
401 (slides of |
402 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/MONDAY.pdf">Day 1</A>] |
402 [<A HREF="http://nms.kcl.ac.uk/christian.urban/Slides/MONDAY.pdf">Day 1</A>] |
403 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/TUESDAY.pdf">Day 2</A>] |
403 [<A HREF="http://nms.kcl.ac.uk/christian.urban/Slides/TUESDAY.pdf">Day 2</A>] |
404 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/WEDNESDAY.pdf">Day 3</A>] |
404 [<A HREF="http://nms.kcl.ac.uk/christian.urban/Slides/WEDNESDAY.pdf">Day 3</A>] |
405 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/THURSDAY.pdf">Day 4</A>] |
405 [<A HREF="http://nms.kcl.ac.uk/christian.urban/Slides/THURSDAY.pdf">Day 4</A>] |
406 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/FRIDAY.pdf">Day 5</A>]) |
406 [<A HREF="http://nms.kcl.ac.uk/christian.urban/Slides/FRIDAY.pdf">Day 5</A>]) |
407 <dd>student intern from the ENS Cachan |
407 <dd>student intern from the ENS Cachan |
408 </dl> |
408 </dl> |
409 </TD> |
409 </TD> |
410 </TR> |
410 </TR> |
411 |
411 |