diff -r 480a9cdfce90 -r a0b56111a7c1 travelling.html
--- a/travelling.html	Mon Jul 16 10:55:10 2018 +0100
+++ b/travelling.html	Mon Jul 16 10:56:47 2018 +0100
@@ -64,7 +64,7 @@
 <TD BGCOLOR="#FFFFFF" WIDTH="75%">
 <H2>Talks and Travel Plans</H2>
 <ul class="striped">
-<li> Big Proof Meeting in Cambridge (Newton Institute, June - August)
+<li>ITP in Oxford (July)</li>
 </ul>
 </TD>
 </TR>
@@ -73,6 +73,12 @@
 <TD BGCOLOR="#FFFFFF" WIDTH="75%">
 <H2>Old</H2>
 
+<H5>2017</H5>
+
+<ul class="striped">
+<li> Big Proof Meeting in Cambridge (Newton Institute, June - August)
+</ul>
+
 <H5>2016</H5>
 
 <ul class="striped">