Binary file cfp.pdf has changed

--- 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}\\

--- 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>