# HG changeset patch # User Christian Urban # Date 1354522360 0 # Node ID 6f87cdbf90130d9d45ddfdb6b2a89f60a450b59f # Parent 78e14199b42980b55fca1afde6b822a9c805886c added dates diff -r 78e14199b429 -r 6f87cdbf9013 travelling.html --- a/travelling.html Sun Nov 18 08:32:30 2012 +0000 +++ b/travelling.html Mon Dec 03 08:12:40 2012 +0000 @@ -64,8 +64,7 @@

Talks and Travel Plans

@@ -80,6 +79,8 @@
  • Talk at the Nominal Sets Meet Automata Theory Workshop (Warsaw, 9 - 10 February)
  • Talk in Edinburgh (21 February, host: Dr James Cheney)
  • Talk at ITP'12, Princeton (13 - 15, August) +
  • Talk at Wessex Theory Seminar at Imperial (29 August, host: Dr Dirk Patinson) +
  • ICFP (9 - 12 September, Copenhagen)
    2011