--- a/travelling.html	Thu Nov 21 14:21:10 2013 +0000
+++ b/travelling.html	Sat Nov 23 02:30:00 2013 +0000
@@ -64,8 +64,7 @@
 <TD BGCOLOR="#FFFFFF" WIDTH="75%">
 <H2>Talks and Travel Plans</H2>
 <ul class="striped">
-<li> Talk in the Theory Seminar at QMUL (host: Dr Nikos Tzevelekos, 3 October)
-<li> Talk at Dagstuhl Workshop on Nominal Computation Theory (13 - 16 October)
+<li> Talk at the Inductive Theorem Proving Workshop (Imperial College, 23 - 24 November)
 <li> Talk at CPP'13 in Melbourne (11 - 13 December)
 </ul>
 </TD>
@@ -82,6 +81,8 @@
 <li> Visit at NASA Research Center in Langley (10 - 21 June, hosts: Dr Cesar Munoz and Dr Mahyar Malekpour)
 <li> Talk at ITP'13 in Rennes (23 - 26 July)
 <li> Pierre-Louis Curien Meeting in Venice (9 - 12 September)
+<li> Talk in the Theory Seminar at QMUL (host: Dr Nikos Tzevelekos, 3 October)
+<li> Talk at Dagstuhl Workshop on Nominal Computation Theory (13 - 16 October)
 </ul>
 
 <H5>2012</H5>