# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1417424028 0
# Node ID b412d28ab7b335b193592a38201c4138e4b580ff
# Parent  426f4905f3467a069477fb7663d76549d8b0610d
u

diff -r 426f4905f346 -r b412d28ab7b3 cfp.pdf
Binary file cfp.pdf has changed
diff -r 426f4905f346 -r b412d28ab7b3 cfp.tex
--- a/cfp.tex	Mon Dec 01 05:44:19 2014 +0000
+++ b/cfp.tex	Mon Dec 01 08:53:48 2014 +0000
@@ -32,7 +32,7 @@
 Stefan Berghofer, \emph{Secunet Security Networks AG}\\
 Yves Bertot, \emph{INRIA}\\
 Lars Birkedal, \emph{Aarhus University}\\
-Sandrine Blazy, \emph{IRISA}\\
+Sandrine Blazy, \emph{University of Rennes}\\
 Bob Constable, \emph{Cornell University}\\
 Thierry Coquand, \emph{University of Gothenburg}\\
 Xinyu Feng, \emph{Univ.~of Science and Technology of China}\\
diff -r 426f4905f346 -r b412d28ab7b3 index.html
--- a/index.html	Mon Dec 01 05:44:19 2014 +0000
+++ b/index.html	Mon Dec 01 08:53:48 2014 +0000
@@ -177,7 +177,7 @@
     <TD>Aarhus University, Denmark</TD>
 </TR>
 <TR><TD><A HREF="https://www.irisa.fr/celtique/blazy/index.html">Sandrine Blazy</A></TD>
-    <TD>IRISA, France</TD>
+    <TD>University of Rennes, France</TD>
 </TR>
 <TR><TD><A HREF="http://www.cs.cornell.edu/home/rc/">Bob Constable</A></TD>
     <TD>Cornell University, USA</TD>