36 <li> Christian gives a talk at ITU (15 August, host: Prof. Lars Birkedal) |
36 <li> Christian gives a talk at ITU (15 August, host: Prof. Lars Birkedal) |
37 <li> Christian gives a talk at ESOP 2011 (26 - 30 March) |
37 <li> Christian gives a talk at ESOP 2011 (26 - 30 March) |
38 <li> Cezary gives a talk at ACM SAC 2011 (21 - 24 March, Taipei) |
38 <li> Cezary gives a talk at ACM SAC 2011 (21 - 24 March, Taipei) |
39 <li> Christian gives a talk at Uppsala University (3 March, host: Prof. Joachim Parrow) |
39 <li> Christian gives a talk at Uppsala University (3 March, host: Prof. Joachim Parrow) |
40 <li> Palle Raabjerg from Uppsala University visits the Nominal Group (2 February - 2 March) |
40 <li> Palle Raabjerg from Uppsala University visits the Nominal Group (2 February - 2 March) |
41 <li> There will be a one-day <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/activities/nominal-popl11/">tutorial</A> about Nominal Isabelle at POPL 2011 |
41 <li> There will be a one-day <A HREF="http://nms.kcl.ac.uk/christian.urban/Nominal/activities/nominal-popl11/">tutorial</A> about Nominal Isabelle at POPL 2011 |
42 </ul> |
42 </ul> |
43 |
43 |
44 <h3>2010</h3> |
44 <h3>2010</h3> |
45 <ul class="striped"> |
45 <ul class="striped"> |
46 <li> Isabelle/Isar tutorial at University Paris Sud (22 - 23 November, host: Dr Markus Wenzel) |
46 <li> Isabelle/Isar tutorial at University Paris Sud (22 - 23 November, host: Dr Markus Wenzel) |
49 <li> Christian gives a talk at the Jiao Tong University (20 September, host: Prof. Kenny Zhu) |
49 <li> Christian gives a talk at the Jiao Tong University (20 September, host: Prof. Kenny Zhu) |
50 <li> Christian gives a course on Isabelle programming at the University of Nanjing |
50 <li> Christian gives a course on Isabelle programming at the University of Nanjing |
51 (host: Prof. Xingyuan Zhang, 1st - 31st August) |
51 (host: Prof. Xingyuan Zhang, 1st - 31st August) |
52 <li> Christian gives an invited talk at UNIF'10 (Edinburgh, 14 July) |
52 <li> Christian gives an invited talk at UNIF'10 (Edinburgh, 14 July) |
53 <li> Talk at ITP (Edinburgh, 11 - 14 July) |
53 <li> Talk at ITP (Edinburgh, 11 - 14 July) |
54 <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 - 18 June) |
54 <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 - 18 June) |
55 <li> Christian gives a talk in the Automated Reasoning Group in Cambridge (8 June) |
55 <li> Christian gives a talk in the Automated Reasoning Group in Cambridge (8 June) |
56 <li> Cezary will leave us to take up a research fellowship in Japan. Congratulations! (31 May) |
56 <li> Cezary will leave us to take up a research fellowship in Japan. Congratulations! (31 May) |
57 <li> Christian gives a talk in the Isabelle group (28 May) |
57 <li> Christian gives a talk in the Isabelle group (28 May) |
58 <li> Christian is on the thesis committee of Clement Houtmann (Nancy, 12 March) |
58 <li> Christian is on the thesis committee of Clement Houtmann (Nancy, 12 March) |
59 <li> Christian gives a talk in the Automated Reasoning Group in Cambridge (16 February) |
59 <li> Christian gives a talk in the Automated Reasoning Group in Cambridge (16 February) |
66 <li> Christian is PC-chair of the <A HREF="http://www.seas.upenn.edu/~sweirich/wmm/wmm09.html" target="_top">Workshop on Mechanizing Metatheory</A> |
66 <li> Christian is PC-chair of the <A HREF="http://www.seas.upenn.edu/~sweirich/wmm/wmm09.html" target="_top">Workshop on Mechanizing Metatheory</A> |
67 <li> Jeremy Dawson from the Australian National University visits the Nominal Group (13 - 26 August) |
67 <li> Jeremy Dawson from the Australian National University visits the Nominal Group (13 - 26 August) |
68 <li> Yongjian Li from the Chinese Academy of Sciences in Beijing visits the Nominal Group (13 - 25 August) |
68 <li> Yongjian Li from the Chinese Academy of Sciences in Beijing visits the Nominal Group (13 - 25 August) |
69 <li> Randy Pollack from the University of Edinburgh visits the Nominal Group (17 - 21 August) |
69 <li> Randy Pollack from the University of Edinburgh visits the Nominal Group (17 - 21 August) |
70 <li> Christian is PC co-chair of TPHOLs (17 - 20 August) |
70 <li> Christian is PC co-chair of TPHOLs (17 - 20 August) |
71 <li> Christian organises the <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/activities/tphols09/idw.html"> |
71 <li> Christian organises the <A HREF="http://nms.kcl.ac.uk/christian.urban/Nominal/activities/tphols09/idw.html"> |
72 Isabelle Developers Workshop</A> co-located with TPHOLs (13 - 15 August) |
72 Isabelle Developers Workshop</A> co-located with TPHOLs (13 - 15 August) |
73 <li> Cezary Kaliszyk joins the Nominal Group |
73 <li> Cezary Kaliszyk joins the Nominal Group |
74 <li> Christian visist Prof. T.H. Tse at Hong Kong University (24 - 30 June) |
74 <li> Christian visist Prof. T.H. Tse at Hong Kong University (24 - 30 June) |
75 <li> Christian gives an Isabelle <A HREF="activities/cas09">course</A> at the Chinese |
75 <li> Christian gives an Isabelle <A HREF="activities/cas09">course</A> at the Chinese |
76 Academy of Sciences in Beijing (May/June, hosts: Prof. Huimin Lin and Prof. Yongjian Li) |
76 Academy of Sciences in Beijing (May/June, hosts: Prof. Huimin Lin and Prof. Yongjian Li) |