diff -r e1e18587caf9 -r 7995bc5554b7 Nominal/activities.html
--- a/Nominal/activities.html Wed Mar 30 16:36:30 2016 +0100
+++ b/Nominal/activities.html Wed Mar 30 16:37:07 2016 +0100
@@ -9,6 +9,7 @@
Our Old Activities
+Past
2013
@@ -18,8 +19,6 @@
- Christian is at the Dagstuhl Workshop on Nominal Computation Theory (13 - 16 October)
-Past
-
2013
- Christian is at POPL (Rome, 23 - 25 January)