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