# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1323975090 0
# Node ID c56552053f17a538a3a133b1688d7e1516976eb9
# Parent  43f1e7f8c6ac866c22017c36fd0c73459637a8fa
updated

diff -r 43f1e7f8c6ac -r c56552053f17 travelling.html
--- a/travelling.html	Thu Dec 15 18:01:49 2011 +0000
+++ b/travelling.html	Thu Dec 15 18:51:30 2011 +0000
@@ -64,8 +64,7 @@
 <TD BGCOLOR="#FFFFFF" WIDTH="75%">
 <H2>Talks and Travel Plans</H2>
 <ul class="striped">
-<li> Talk at Dyckhoff Fest (18 - 19 November)
-<li> Talk at Nominal Workshop in Leicester (23 November)
+<li> Talk in Edinburgh (21 February, host: Dr James Cheney)
 </ul>
 </TD>
 </TR>
@@ -77,6 +76,8 @@
 <H5>2011</H5>
 
 <ul class="striped">
+<li> Talk at Nominal Workshop in Leicester (23 November)
+<li> Talk at Dyckhoff Fest (18 - 19 November)
 <li> Talk at ITP'11 (22 - 25 August, Nijmegen)
 <li> Talk at ITU, Copenhagen (15 August, host: Prof. Lars Birkedal)
 <li> Talk at Tsinghua (28 April - 8 May, host: Prof. Jean-Pierre Jouannaud) 
@@ -342,7 +343,7 @@
 </TABLE>
 <P><!-- Created: Tue Mar  4 00:23:25 GMT 1997 -->
 <!-- hhmts start -->
-Last modified: Sun Nov 20 22:48:00 GMT 2011
+Last modified: Thu Dec 15 18:35:35 GMT 2011
 <!-- hhmts end -->
 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
 </BODY>