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" src="striper.js"></script> |
6 <script type="text/javascript" src="striper.js"></script> |
7 <link rel="stylesheet" href="nominal.css"> |
7 <link rel="stylesheet" href="nominal.css"> |
8 </HEAD> |
8 </HEAD> |
9 <BODY TEXT="#000000" |
9 <BODY TEXT="#000000" |
10 BGCOLOR="#4169E1" |
10 BGCOLOR="#4169E1" |
27 WIDTH="24%" |
27 WIDTH="24%" |
28 VALIGN="TOP" |
28 VALIGN="TOP" |
29 ROWSPAN="2"> |
29 ROWSPAN="2"> |
30 |
30 |
31 <B>Links</B><BR> |
31 <B>Links</B><BR> |
32 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/">Home</A><BR> |
32 <A HREF="http://nms.kcl.ac.uk/christian.urban/">Home</A><BR> |
33 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/publications.html">Publications</A><BR> |
33 <A HREF="http://nms.kcl.ac.uk/christian.urban/publications.html">Publications</A><BR> |
34 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/teaching.html">Teaching</A><BR> |
34 <A HREF="http://nms.kcl.ac.uk/christian.urban/teaching.html">Teaching</A><BR> |
35 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/travelling.html">Recent Talks</A><BR> |
35 <A HREF="http://nms.kcl.ac.uk/christian.urban/travelling.html">Recent Talks</A><BR> |
36 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/">Nominal Isabelle</A> |
36 <A HREF="http://nms.kcl.ac.uk/christian.urban/Nominal/">Nominal Isabelle</A> |
37 <BR> |
37 <BR> |
38 <BR> |
38 <BR> |
39 |
39 |
40 <B>Handy Information</B><BR> |
40 <B>Handy Information</B><BR> |
41 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/logic.html">People in Logic</A><BR> |
41 <A HREF="http://nms.kcl.ac.uk/christian.urban/logic.html">People in Logic</A><BR> |
42 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/programming.html">Programming Languages</A><BR> |
42 <A HREF="http://nms.kcl.ac.uk/christian.urban/programming.html">Programming Languages</A><BR> |
43 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/misc.html">Miscellaneous</A> |
43 <A HREF="http://nms.kcl.ac.uk/christian.urban/misc.html">Miscellaneous</A> |
44 <BR><BR> |
44 <BR><BR> |
45 |
45 |
46 <table border="0"> |
46 <table border="0"> |
47 <tr> |
47 <tr> |
48 <td> |
48 <td> |
49 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/"> |
49 <A HREF="http://nms.kcl.ac.uk/christian.urban/Nominal/"> |
50 <IMG SRC="nominal-logo.gif" ALT="" style="border-width: 0px;" align="left"></A> |
50 <IMG SRC="nominal-logo.gif" ALT="" style="border-width: 0px;" align="left"></A> |
51 </td> |
51 </td> |
52 </tr> |
52 </tr> |
53 <tr> |
53 <tr> |
54 <td> |
54 <td> |
55 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Cookbook/"> |
55 <A HREF="http://nms.kcl.ac.uk/christian.urban/Cookbook/"> |
56 <IMG SRC="Cookbook/logo-documentation.gif" ALT="" style="border-width: 0px;" align="left"></A> |
56 <IMG SRC="Cookbook/logo-documentation.gif" ALT="" style="border-width: 0px;" align="left"></A> |
57 </td> |
57 </td> |
58 </tr> |
58 </tr> |
59 </table> |
59 </table> |
60 </TD> |
60 </TD> |
126 <li> Talk at ITU, Copenhagen (15 August, host: Prof. Lars Birkedal) |
126 <li> Talk at ITU, Copenhagen (15 August, host: Prof. Lars Birkedal) |
127 <li> Talk at Tsinghua (28 April - 8 May, host: Prof. Jean-Pierre Jouannaud) |
127 <li> Talk at Tsinghua (28 April - 8 May, host: Prof. Jean-Pierre Jouannaud) |
128 <li> Talk at ECNU, Shanghai (8 - 28 April, host: Prof. Jifeng He) |
128 <li> Talk at ECNU, Shanghai (8 - 28 April, host: Prof. Jifeng He) |
129 <li> Talk at ESOP'11 (26 - 30 March, Saarbrücken) |
129 <li> Talk at ESOP'11 (26 - 30 March, Saarbrücken) |
130 <li> Talk at Uppsala University (3 March, host: Prof. Joachim Parrow) |
130 <li> Talk at Uppsala University (3 March, host: Prof. Joachim Parrow) |
131 <li> One-day <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/activities/nominal-popl11/">tutorial</A> |
131 <li> One-day <A HREF="http://nms.kcl.ac.uk/christian.urban/Nominal/activities/nominal-popl11/">tutorial</A> |
132 on Nominal Isabelle at <A HREF="http://www.cse.psu.edu/popl/11/" target="_top">POPL 2011</A> |
132 on Nominal Isabelle at <A HREF="http://www.cse.psu.edu/popl/11/" target="_top">POPL 2011</A> |
133 (21 January, Austin) |
133 (21 January, Austin) |
134 </ul> |
134 </ul> |
135 |
135 |
136 <H5>2010</H5> |
136 <H5>2010</H5> |
142 <li> Talk at the Jiao Tong University (20 September, host: Prof. Kenny Zhu) |
142 <li> Talk at the Jiao Tong University (20 September, host: Prof. Kenny Zhu) |
143 <li> Course on Isabelle Programming at the University of Nanjing |
143 <li> Course on Isabelle Programming at the University of Nanjing |
144 (host: Prof. Xingyuan Zhang, 1st - 31st August) |
144 (host: Prof. Xingyuan Zhang, 1st - 31st August) |
145 <li> Talk at ITP (Edinburgh, 11 - 14 July) |
145 <li> Talk at ITP (Edinburgh, 11 - 14 July) |
146 <li> Invited Talk at UNIF'10 (14 July) |
146 <li> Invited Talk at UNIF'10 (14 July) |
147 <li> Larry Paulson and Christian organise the <A href="http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/activities/idw10/idw.html">Isabelle Developers Workshop</A> (Cambridge, 17 and 18 June) |
147 <li> Larry Paulson and Christian organise the <A href="http://nms.kcl.ac.uk/christian.urban/Nominal/activities/idw10/idw.html">Isabelle Developers Workshop</A> (Cambridge, 17 and 18 June) |
148 <li> Talk in the Automated Reasoning Group in Cambridge (8 June) |
148 <li> Talk in the Automated Reasoning Group in Cambridge (8 June) |
149 <li> On the thesis committee of Clement Houtmann (Nancy, 12 March) |
149 <li> On the thesis committee of Clement Houtmann (Nancy, 12 March) |
150 <li> Talk in the Automated Reasoning Group in Cambridge (16 February) |
150 <li> Talk in the Automated Reasoning Group in Cambridge (16 February) |
151 <li> POPL (20th - 22nd January) |
151 <li> POPL (20th - 22nd January) |
152 </ul> |
152 </ul> |
172 <LI> Kick-off meeting of the |
172 <LI> Kick-off meeting of the |
173 <A HREF="http://puma.in.tum.de/wiki/Doctorate_Program:_PUMA" target="_top">PUMA Doctoral Programme</A> |
173 <A HREF="http://puma.in.tum.de/wiki/Doctorate_Program:_PUMA" target="_top">PUMA Doctoral Programme</A> |
174 (28 September - 3 October, Spitzingsee) |
174 (28 September - 3 October, Spitzingsee) |
175 <LI> Invited Talk at LSFA (26th August, Salvador, Brazil) |
175 <LI> Invited Talk at LSFA (26th August, Salvador, Brazil) |
176 <LI> Talk (with Berghofer) at TPHOLs (18 - 21 August, Montreal, Canada) |
176 <LI> Talk (with Berghofer) at TPHOLs (18 - 21 August, Montreal, Canada) |
177 <LI> <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/activities/nominal-ijcar08/">Nominal Isabelle</A> |
177 <LI> <A HREF="http://nms.kcl.ac.uk/christian.urban/Nominal/activities/nominal-ijcar08/">Nominal Isabelle</A> |
178 at <A HREF="http://www.ijcar.org/2008/" target="_top">IJCAR'08</A> tutorial |
178 at <A HREF="http://www.ijcar.org/2008/" target="_top">IJCAR'08</A> tutorial |
179 (11 August, Sydney) |
179 (11 August, Sydney) |
180 <LI> A course on Nominal Isabelle at the |
180 <LI> A course on Nominal Isabelle at the |
181 <A HREF="http://www.cs.uoregon.edu/Research/summerschool/summer08/">Oregon Summer School |
181 <A HREF="http://www.cs.uoregon.edu/Research/summerschool/summer08/">Oregon Summer School |
182 on Logic and Theorem Proving in Programming Languages</A> (22 - 30 July, Eugene, 4h, |
182 on Logic and Theorem Proving in Programming Languages</A> (22 - 30 July, Eugene, 4h, |
183 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/oregon1.pdf">Slides 1</A>], |
183 [<A HREF="http://nms.kcl.ac.uk/christian.urban/Slides/oregon1.pdf">Slides 1</A>], |
184 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/oregon2.pdf">Slides 2</A>], |
184 [<A HREF="http://nms.kcl.ac.uk/christian.urban/Slides/oregon2.pdf">Slides 2</A>], |
185 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/oregon3.pdf">Slides 3</A>], |
185 [<A HREF="http://nms.kcl.ac.uk/christian.urban/Slides/oregon3.pdf">Slides 3</A>], |
186 [<A HREF="http://www.cs.uoregon.edu/Research/summerschool/summer08/video/July25Lect3.wmv">Video 1</A>], |
186 [<A HREF="http://www.cs.uoregon.edu/Research/summerschool/summer08/video/July25Lect3.wmv">Video 1</A>], |
187 [<A HREF="http://www.cs.uoregon.edu/Research/summerschool/summer08/video/July26Lect2.wmv">Video 2</A>], |
187 [<A HREF="http://www.cs.uoregon.edu/Research/summerschool/summer08/video/July26Lect2.wmv">Video 2</A>], |
188 [<A HREF="http://www.cs.uoregon.edu/Research/summerschool/summer08/video/July24Lect1.wmv">Video 3</A>]) |
188 [<A HREF="http://www.cs.uoregon.edu/Research/summerschool/summer08/video/July24Lect1.wmv">Video 3</A>]) |
189 <LI> Talk at RTA (15 - 17 July, Hagenberg, Austria) |
189 <LI> Talk at RTA (15 - 17 July, Hagenberg, Austria) |
190 <LI> Talk at LICS (24 - 27 June, Pittsburgh) |
190 <LI> Talk at LICS (24 - 27 June, Pittsburgh) |
263 target="other">ESSLLI 2004 - The 16th European Summer School in |
263 target="other">ESSLLI 2004 - The 16th European Summer School in |
264 Logic, Language and Information</A> |
264 Logic, Language and Information</A> |
265 Advanced Course on Nominal Reasoning (Nancy, France, 9-20 August) |
265 Advanced Course on Nominal Reasoning (Nancy, France, 9-20 August) |
266 <BR> |
266 <BR> |
267 Slides of |
267 Slides of |
268 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/MONDAY.pdf">Day 1</A>] |
268 [<A HREF="http://nms.kcl.ac.uk/christian.urban/Slides/MONDAY.pdf">Day 1</A>] |
269 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/TUESDAY.pdf">Day 2</A>] |
269 [<A HREF="http://nms.kcl.ac.uk/christian.urban/Slides/TUESDAY.pdf">Day 2</A>] |
270 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/WEDNESDAY.pdf">Day 3</A>] |
270 [<A HREF="http://nms.kcl.ac.uk/christian.urban/Slides/WEDNESDAY.pdf">Day 3</A>] |
271 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/THURSDAY.pdf">Day 4</A>] |
271 [<A HREF="http://nms.kcl.ac.uk/christian.urban/Slides/THURSDAY.pdf">Day 4</A>] |
272 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/FRIDAY.pdf">Day 5</A>] |
272 [<A HREF="http://nms.kcl.ac.uk/christian.urban/Slides/FRIDAY.pdf">Day 5</A>] |
273 <LI> visit to Dr Claudia Faggian in Padova (Italy, 24 March) |
273 <LI> visit to Dr Claudia Faggian in Padova (Italy, 24 March) |
274 </ul> |
274 </ul> |
275 |
275 |
276 <H5>2003</H5> |
276 <H5>2003</H5> |
277 <ul class="striped"> |
277 <ul class="striped"> |
279 <LI> Talk in the theory seminar at the University of Kent (13 October, host: Stefan Kahrs) |
279 <LI> Talk in the theory seminar at the University of Kent (13 October, host: Stefan Kahrs) |
280 <LI> Talk at CSL & KGC 2003 Colloquium (Vienna, Austria, 22 - 30 August) |
280 <LI> Talk at CSL & KGC 2003 Colloquium (Vienna, Austria, 22 - 30 August) |
281 <LI> Talk (with Cheney) at UNIF 2003 workshop (Valencia, Spain, 7-13 June) |
281 <LI> Talk (with Cheney) at UNIF 2003 workshop (Valencia, Spain, 7-13 June) |
282 <LI> Talk at the festive <A HREF="http://www.cs.vu.nl/~terese/bookday.html">TeReSe-Bookday</A> |
282 <LI> Talk at the festive <A HREF="http://www.cs.vu.nl/~terese/bookday.html">TeReSe-Bookday</A> |
283 (Amsterdam, the Netherlands, 3 - 6 June, host: Jan Willem Klop, slides |
283 (Amsterdam, the Netherlands, 3 - 6 June, host: Jan Willem Klop, slides |
284 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/amsterdam.ps">ps</A>] |
284 [<A HREF="http://nms.kcl.ac.uk/christian.urban/Slides/amsterdam.ps">ps</A>] |
285 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/amsterdam.pdf">pdf</A>]) |
285 [<A HREF="http://nms.kcl.ac.uk/christian.urban/Slides/amsterdam.pdf">pdf</A>]) |
286 <LI> Talk in Nijmegen (the Netherlands, 14 April, host: Henk Barendregt) |
286 <LI> Talk in Nijmegen (the Netherlands, 14 April, host: Henk Barendregt) |
287 <LI> Talk in St Andrews (1 April, host: Roy Dyckhoff) |
287 <LI> Talk in St Andrews (1 April, host: Roy Dyckhoff) |
288 <LI> Talk at Workshop on Proof Theory and Algorithms (Edinburgh, 23 - 29 March) |
288 <LI> Talk at Workshop on Proof Theory and Algorithms (Edinburgh, 23 - 29 March) |
289 <LI> Talk at LMU (Munich, 20 January, host: Helmut Schwichtenberg) |
289 <LI> Talk at LMU (Munich, 20 January, host: Helmut Schwichtenberg) |
290 </ul> |
290 </ul> |
303 <ul class="striped"> |
303 <ul class="striped"> |
304 <LI> Linear Meeting in Bertinoro, Italy (22 - 25 April) |
304 <LI> Linear Meeting in Bertinoro, Italy (22 - 25 April) |
305 <LI> Talk at the <A HREF="http://www.ii.uj.edu.pl/zpi/tlca2001/">TLCA 2001</A> |
305 <LI> Talk at the <A HREF="http://www.ii.uj.edu.pl/zpi/tlca2001/">TLCA 2001</A> |
306 (Krakow, 2 - 5 May) |
306 (Krakow, 2 - 5 May) |
307 <LI> Talk at the Natural Deduction meeting in Rio de Janeiro (30 June - 7 July, |
307 <LI> Talk at the Natural Deduction meeting in Rio de Janeiro (30 June - 7 July, |
308 slides [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/slides-rio.ps.gz">ps.gz</A>]) |
308 slides [<A HREF="http://nms.kcl.ac.uk/christian.urban/Slides/slides-rio.ps.gz">ps.gz</A>]) |
309 <LI> Summer School Marktoberdorf (24 July - 5 August) |
309 <LI> Summer School Marktoberdorf (24 July - 5 August) |
310 </ul> |
310 </ul> |
311 |
311 |
312 <H5>2000</H5> |
312 <H5>2000</H5> |
313 <ul class="striped"> |
313 <ul class="striped"> |