# 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>