# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1422275569 0
# Node ID 79adb9a870d11a9671b868c60cc033ecafe3af97
# Parent  08331dc74c010698f3e4f4b5a6120b7f5482a2cb
updated

diff -r 08331dc74c01 -r 79adb9a870d1 cfp.pdf
Binary file cfp.pdf has changed
diff -r 08331dc74c01 -r 79adb9a870d1 cfp.tex
--- a/cfp.tex	Mon Dec 01 15:05:37 2014 +0000
+++ b/cfp.tex	Mon Jan 26 12:32:49 2015 +0000
@@ -48,7 +48,7 @@
 Tobias Nipkow, \emph{TU M\"unchen}\\
 Michael Norrish, \emph{NICTA}\\
 Scott Owens, \emph{University of Kent}\\
-Randy Pollack, \emph{Havard University}\\
+Randy Pollack, \emph{Harvard University}\\
 Carsten Sch\"urmann, \emph{IT University of Copenhagen}\\
 Konrad Slind, \emph{Rockwell Collins}\\
 Alwen Tiu, \emph{Nanyang Technological University}\\
@@ -103,7 +103,7 @@
       verification, refinement, and synthesis for functional,
       declarative and imperative languages; formal semantics
       of programming languages; proof carrying code.
-\item Industrial application of theorem provers. 
+\item Industrial applications of theorem provers. 
 \item Formalization of mathematical theories. 
 \item Advances in theorem prover technology: proof automation
       and decision procedures, induction, combination of
diff -r 08331dc74c01 -r 79adb9a870d1 index.html
--- a/index.html	Mon Dec 01 15:05:37 2014 +0000
+++ b/index.html	Mon Jan 26 12:32:49 2015 +0000
@@ -225,7 +225,7 @@
     <TD>University of Kent, United Kingdom</TD>
 </TR>
 <TR><TD><A HREF="http://homepages.inf.ed.ac.uk/rpollack/">Randy Pollack</A></TD>
-    <TD>Havard University, USA</TD>
+    <TD>Harvard University, USA</TD>
 </TR>
 <TR><TD><A HREF="http://www.itu.dk/people/carsten/">Carsten Sch&uuml;rmann</A></TD>
     <TD>IT University of Copenhagen, Denmark</TD>