diff -r 18a6039148df -r 793f6d12cf2d Nominal/activities.html
--- a/Nominal/activities.html Wed Mar 30 20:17:21 2016 +0100
+++ b/Nominal/activities.html Wed Mar 30 20:39:55 2016 +0100
@@ -13,17 +13,13 @@
2013
+ - Christian is at the Dagstuhl Workshop on Nominal Computation Theory (13 - 16 October)
+
- Christian is at POPL (Rome, 23 - 25 January)
+
- Christian is at NASA Langley (10 - 21 June, hosts: Dr Cesar Munoz and Dr Mahyar Malekpour)
+
- Visit by Michael Norrish from NICTA (19 - 22 July)
- Larry Paulson visits the SMAL group (16 July, hosts: Prof. Maribel Fernandez and Christian Urban)
- Christian is at ITP (Rennes, 23 - 26 July)
- Visit by Xingyuan Zhang from the PLA University in Nanjing (27 July - 5 August)
-
- Christian is at the Dagstuhl Workshop on Nominal Computation Theory (13 - 16 October)
-
-
-2013
-
- - Christian is at POPL (Rome, 23 - 25 January)
-
- Christian is at NASA Langley (10 - 21 June, hosts: Dr Cesar Munoz and Dr Mahyar Malekpour)
-
- Visit by Michael Norrish from NICTA (19 - 22 July)
2012