Mercurial Mercurial > hg > public_html / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Nominal/activities.html
changeset 419 793f6d12cf2d
parent 411 a430e494cb19
child 465 4dac76eb27d9 
--- 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>
public_html