tuned
authorChristian Urban <urbanc@in.tum.de>
Sun, 19 Aug 2012 07:55:44 +0100
changeset 130 eab36651cd9c
parent 129 cf728f2deab8
child 131 c2e6e942202a
tuned
travelling.html
--- a/travelling.html	Wed Aug 15 02:34:42 2012 +0100
+++ b/travelling.html	Sun Aug 19 07:55:44 2012 +0100
@@ -64,7 +64,7 @@
 <TD BGCOLOR="#FFFFFF" WIDTH="75%">
 <H2>Talks and Travel Plans</H2>
 <ul class="striped">
-<li> Talk at ITP'12, Princeton (13 - 15, August)
+<li> Talk at Wessex Theory Seminar (29 August, host: Dr Dirk Patinson)
 </ul>
 </TD>
 </TR>
@@ -78,6 +78,7 @@
 <ul class="striped">
 <li> Talk at the Nominal Sets Meet Automata Theory Workshop (Warsaw, 9 - 10 February)
 <li> Talk in Edinburgh (21 February, host: Dr James Cheney)
+<li> Talk at ITP'12, Princeton (13 - 15, August)
 </ul>
 
 <H5>2011</H5>