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