--- 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 @@
<TD BGCOLOR="#FFFFFF" WIDTH="75%">
<H2>Talks and Travel Plans</H2>
<ul class="striped">
-<li> ICFP (9 - 12 September, Copenhagen)
-<li> Talk at Wessex Theory Seminar at Imperial (29 August, host: Dr Dirk Patinson)
+<li> Talk in Leicester (7 December, host: Dr Alexander Kurz)
</ul>
</TD>
</TR>
@@ -80,6 +79,8 @@
<li> Talk at the Nominal Sets Meet Automata Theory Workshop (Warsaw, 9 - 10 February)
<li> Talk in Edinburgh (21 February, host: Dr James Cheney)
<li> Talk at ITP'12, Princeton (13 - 15, August)
+<li> Talk at Wessex Theory Seminar at Imperial (29 August, host: Dr Dirk Patinson)
+<li> ICFP (9 - 12 September, Copenhagen)
</ul>
<H5>2011</H5>