--- a/publications.html	Fri Jun 29 12:05:31 2012 +0100
+++ b/publications.html	Sun Jul 08 06:04:14 2012 +0100
@@ -90,7 +90,7 @@
 
 <p><B>General Bindings and Alpha-Equivalence in Nominal Isabelle.</B> 
       (with Kaliszyk) Accepted for publication in the Journal of Logical
-      Methods in Computer Science.
+      Methods in Computer Science, Volume 8 (2:14), 2012.
       [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/lmcs.pdf">pdf</A>]
 
 <p><B>Priority Inheritance Protocol Proved Correct.</B> 

--- a/travelling.html	Fri Jun 29 12:05:31 2012 +0100
+++ b/travelling.html	Sun Jul 08 06:04:14 2012 +0100
@@ -64,8 +64,7 @@
 <TD BGCOLOR="#FFFFFF" WIDTH="75%">
 <H2>Talks and Travel Plans</H2>
 <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>
 </TD>
 </TR>
@@ -74,6 +73,13 @@
 <TD BGCOLOR="#FFFFFF" WIDTH="75%">
 <H2>Old</H2>
 
+<H5>2012</H5>
+
+<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)
+</ul>
+
 <H5>2011</H5>
 
 <ul class="striped">