# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1459366795 -3600
# Node ID 793f6d12cf2d37fdd16e4dc23ec5412093178fe3
# Parent  18a6039148df888c9a9528daf7f5644871185d46
updated

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 @@
 
 <h2>2013</h2>
 <ul class="striped">
+  <li> Christian is at the Dagstuhl Workshop on Nominal Computation Theory (13 - 16 October)
+  <li> Christian is at POPL (Rome, 23 - 25 January)
+  <li> Christian is at NASA Langley (10 - 21 June, hosts: Dr Cesar Munoz and Dr Mahyar Malekpour)
+  <li> Visit by Michael Norrish from NICTA (19 - 22 July)
   <li> Larry Paulson visits the SMAL group (16 July, hosts: Prof. Maribel Fernandez and Christian Urban)
   <li> Christian is at ITP (Rennes, 23 - 26 July)
   <li> Visit by Xingyuan Zhang from the PLA University in Nanjing (27 July - 5 August)  
-  <li> Christian is at the Dagstuhl Workshop on Nominal Computation Theory (13 - 16 October)
-</ul>
-
-<h2>2013</h2>
-<ul class="striped">
-  <li> Christian is at POPL (Rome, 23 - 25 January)
-  <li> Christian is at NASA Langley (10 - 21 June, hosts: Dr Cesar Munoz and Dr Mahyar Malekpour)
-  <li> Visit by Michael Norrish from NICTA (19 - 22 July)
 </ul>
 
 <h3>2012</h3>