--- a/bsc-projects-13.html	Thu Nov 21 14:21:10 2013 +0000
+++ b/bsc-projects-13.html	Sat Nov 23 02:30:00 2013 +0000
@@ -261,7 +261,7 @@
   system originally implemented by <A HREF="http://en.wikipedia.org/wiki/Donald_Knuth">Donald Knuth</A>
   and <A HREF="http://en.wikipedia.org/wiki/Leslie_Lamport">Leslie Lamport</A>.
   LaTeX produces very pleasantly looking documents, can deal nicely with mathematical
-  formulas and is very flexible. If you are interested <A HREF="http://openwetware.org/wiki/Word_vs._LaTeX">here</A>
+  formulas and is very flexible. If you are interested, <A HREF="http://openwetware.org/wiki/Word_vs._LaTeX">here</A>
   is a side-by-side comparison between Word and LaTeX (which LaTeX &ldquo;wins&rdquo; with 18 out of 21 points).
   Computer scientists not only use LaTeX for documents,
   but also for slides (really, nobody who wants to be cool uses Keynote or Powerpoint).
@@ -553,7 +553,7 @@
 </TABLE>
 
 <P>
-<!-- hhmts start --> Last modified: Thu Nov 21 14:20:54 GMT 2013 <!-- hhmts end -->
+<!-- hhmts start --> Last modified: Thu Nov 21 14:26:03 GMT 2013 <!-- hhmts end -->
 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
 </BODY>
 </HTML>

--- a/msc-projects-13.html	Thu Nov 21 14:21:10 2013 +0000
+++ b/msc-projects-13.html	Sat Nov 23 02:30:00 2013 +0000
@@ -253,7 +253,7 @@
   system originally implemented by <A HREF="http://en.wikipedia.org/wiki/Donald_Knuth">Donald Knuth</A>
   and <A HREF="http://en.wikipedia.org/wiki/Leslie_Lamport">Leslie Lamport</A>.
   LaTeX produces very pleasantly looking documents, can deal nicely with mathematical
-  formulas and is very flexible. If you are interested <A HREF="http://openwetware.org/wiki/Word_vs._LaTeX">here</A>
+  formulas and is very flexible. If you are interested, <A HREF="http://openwetware.org/wiki/Word_vs._LaTeX">here</A>
   is a side-by-side comparison between Word and LaTeX (which LaTeX &ldquo;wins&rdquo; with 18 out of 21 points).
   Computer scientists not only use LaTeX for documents,
   but also for slides (really, nobody who wants to be cool uses Keynote or Powerpoint).
@@ -568,7 +568,7 @@
 </TABLE>
 
 <P>
-<!-- hhmts start --> Last modified: Thu Nov 21 14:18:14 GMT 2013 <!-- hhmts end -->
+<!-- hhmts start --> Last modified: Thu Nov 21 14:26:11 GMT 2013 <!-- hhmts end -->
 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
 </BODY>
 </HTML>

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