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://www.inf.kcl.ac.uk/staff/urbanc/">Home</A><BR> |
33 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/publications.html">Publications</A><BR> |
33 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/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://www.inf.kcl.ac.uk/staff/urbanc/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://www.inf.kcl.ac.uk/staff/urbanc/travelling.html">Recent Talks</A><BR> |
36 <A HREF="http://isabelle.in.tum.de/nominal/">My Research Group</A> |
36 <A HREF="http://http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/">My Research Group</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://www.inf.kcl.ac.uk/staff/urbanc/logic.html">People in Logic</A><BR> |
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://isabelle.in.tum.de/nominal/activities/nominal-popl11/">tutorial</A> |
131 <li> One-day <A HREF="http://http://www.inf.kcl.ac.uk/staff/urbanc/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://isabelle.in.tum.de/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://http://www.inf.kcl.ac.uk/staff/urbanc/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://isabelle.in.tum.de/nominal/activities/nominal-ijcar08/">Nominal Isabelle</A> |
177 <LI> <A HREF="http://http://www.inf.kcl.ac.uk/staff/urbanc/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, |