--- a/cfp.tex	Sat Nov 29 14:35:55 2014 +0000
+++ b/cfp.tex	Sat Nov 29 14:55:50 2014 +0000
@@ -47,7 +47,7 @@
 Tobias Nipkow, \emph{TU M\"unchen}\\
 Michael Norrish, \emph{NICTA}\\
 Scott Owens, \emph{University of Kent}\\
-Randy Pollack, \emph{Edinburgh University}\\
+Randy Pollack, \emph{Havard University}\\
 Carsten Sch\"urmann, \emph{IT University of Copenhagen}\\
 Konrad Slind, \emph{Rockwell Collins}\\
 Alwen Tiu, \emph{Nanyang Technological University}\\