# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1395642513 0
# Node ID 0500476ada882ab7910bcb922734902629e7b1fd
# Parent  26a53911ac49219568e40dce29bcc37006c89710
added

diff -r 26a53911ac49 -r 0500476ada88 travelling.html
--- a/travelling.html	Sun Mar 16 02:23:55 2014 +0000
+++ b/travelling.html	Mon Mar 24 06:28:33 2014 +0000
@@ -64,8 +64,7 @@
 <TD BGCOLOR="#FFFFFF" WIDTH="75%">
 <H2>Talks and Travel Plans</H2>
 <ul class="striped">
-<li> Talk at the Inductive Theorem Proving Workshop (Imperial College, 23 - 24 November)
-<li> Talk at CPP'13 in Melbourne (11 - 13 December)
+<li> CREST Workshop (UCL, 24 - 25 March)
 </ul>
 </TD>
 </TR>
@@ -83,6 +82,8 @@
 <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)
+<li> Talk at the Inductive Theorem Proving Workshop (Imperial College, 23 - 24 November)
+<li> Talk at CPP'13 in Melbourne (11 - 13 December)
 </ul>
 
 <H5>2012</H5>