# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1417272950 0
# Node ID 2312c316736d38bdec8252cb529296b29316f768
# Parent  2e2e4680a9d23f8bd2d6f9b3c8eb1d22989866c4
updated

diff -r 2e2e4680a9d2 -r 2312c316736d cfp.pdf
Binary file cfp.pdf has changed
diff -r 2e2e4680a9d2 -r 2312c316736d cfp.tex
--- 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}\\