diff -r ae516c20c5f1 -r 4dac76eb27d9 Nominal/activities.html --- a/Nominal/activities.html Sat Jan 28 06:40:19 2017 +0000 +++ b/Nominal/activities.html Sat Jan 28 07:17:00 2017 +0000 @@ -38,7 +38,7 @@
  • Cezary gives a talk at ACM SAC 2011 (21 - 24 March, Taipei)
  • Christian gives a talk at Uppsala University (3 March, host: Prof. Joachim Parrow)
  • Palle Raabjerg from Uppsala University visits the Nominal Group (2 February - 2 March) -
  • There will be a one-day tutorial about Nominal Isabelle at POPL 2011 +
  • There will be a one-day tutorial about Nominal Isabelle at POPL 2011

    2010

    @@ -51,7 +51,7 @@ (host: Prof. Xingyuan Zhang, 1st - 31st August)
  • Christian gives an invited talk at UNIF'10 (Edinburgh, 14 July)
  • Talk at ITP (Edinburgh, 11 - 14 July) -
  • Larry Paulson and Christian organise the Isabelle Developers Workshop (Cambridge, 17 - 18 June) +
  • Larry Paulson and Christian organise the Isabelle Developers Workshop (Cambridge, 17 - 18 June)
  • Christian gives a talk in the Automated Reasoning Group in Cambridge (8 June)
  • Cezary will leave us to take up a research fellowship in Japan. Congratulations! (31 May)
  • Christian gives a talk in the Isabelle group (28 May) @@ -68,7 +68,7 @@
  • Yongjian Li from the Chinese Academy of Sciences in Beijing visits the Nominal Group (13 - 25 August)
  • Randy Pollack from the University of Edinburgh visits the Nominal Group (17 - 21 August)
  • Christian is PC co-chair of TPHOLs (17 - 20 August) -
  • Christian organises the +
  • Christian organises the Isabelle Developers Workshop co-located with TPHOLs (13 - 15 August)
  • Cezary Kaliszyk joins the Nominal Group
  • Christian visist Prof. T.H. Tse at Hong Kong University (24 - 30 June)