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)