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