--- a/travelling.html	Fri Sep 20 11:45:25 2019 +0100
+++ b/travelling.html	Wed Sep 25 15:15:29 2019 +0100
@@ -12,7 +12,7 @@
       VLINK="#51188E" 
       ALINK="#FF0000"
       ONLOAD="striper('ul','striped','li','first,second')">
-
+<font face='Tahoma'>
 <TABLE WIDTH="100%" 
        BGCOLOR="#4169E1" 
        BORDER="0"   
@@ -67,6 +67,7 @@
 <li>Curry On and ECOOP (15 - 19 July, London)</li>
 <li>ICFP (19 - 21, August, Berlin)</li>
 <li>Talk at Journeys in Computational Logic: Tributes to Roy Dyckhoff (3 September, London)
+<li>VeTSS Workshop (24 - 25 September, Newton Institute, Cambridge)</li>
 </ul>
 </TD>
 </TR>
@@ -82,13 +83,13 @@
 
 <H5>2017</H5>
 <ul class="striped">
-<li> Big Proof Meeting in Cambridge (Newton Institute, June - August)
+<li> Big Proof Meeting in Cambridge (Newton Institute, Cambridge, June - August)
 </ul>
 
 <H5>2016</H5>
 <ul class="striped">
 <li> Talk at the University of Kent (22 February, host Dr Scott Owens)
-<li> Talk in SMAL group meeting (9 March)
+<li> Talk in SMAL group meeting (9 March, King's)
 <li> Talk at ITP'16 (Nancy)  
 </ul>
 
@@ -401,9 +402,7 @@
  
 </TABLE>
 <P><!-- Created: Tue Mar  4 00:23:25 GMT 1997 -->
-<!-- hhmts start -->
-Last modified: Thu Dec 15 18:35:35 GMT 2011
-<!-- hhmts end -->
 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
+<font face='Tahoma'></font>
 </BODY>
 </HTML>