# HG changeset patch # User Christian Urban # Date 1459352227 -3600 # Node ID 7995bc5554b7c67978ec84688f7beef2677fbd3f # Parent e1e18587caf9e433cceddd5699b6cee1f63cc35f updated 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

Christian is at the Dagstuhl Workshop on Nominal Computation Theory (13 - 16 October)

Past

2013

Christian is at POPL (Rome, 23 - 25 January)