diff -r 7b71e2c2b422 -r 0059a009056b cfp.tex
--- a/cfp.tex	Sat Nov 29 00:08:23 2014 +0000
+++ b/cfp.tex	Sat Nov 29 13:53:34 2014 +0000
@@ -29,7 +29,7 @@
 \textbf{Programme Committee:} \\
 Andrea Asperti, \emph{University of Bologna}\\
 Jesper Bengtson, \emph{IT University of Copenhagen}\\
-Steffen Berghofer, \emph{Secunet Security Networks AG}\\
+Stefan Berghofer, \emph{Secunet Security Networks AG}\\
 Yves Bertot, \emph{INRIA}\\
 Lars Birkedal, \emph{Aarhus University}\\
 Sandrine Blazy, \emph{IRISA}\\
@@ -53,7 +53,7 @@
 Alwen Tiu, \emph{Nanyang Technological University}\\
 Christian Urban (co-chair), \emph{King's College London}\\
 Dimitrios Vytiniotis, \emph{Microsoft Research Cambridge}\\
-Xingyuan Zhang (co-chair), \emph{PLA University of Science and Technology Nanjing}    
+Xingyuan Zhang (co-chair), \emph{PLA University of Science and Technology}    
 \\[1em]
 %
 \textbf{Important Dates:} \\
@@ -83,7 +83,7 @@
 ITP is the premier international conference for researchers
 from all areas of interactive theorem proving and its
 applications. The sixth conference will be held on 24 through
-27 August 2015 in Nanijing.
+27 August 2015 in Nanjing.\medskip
 
 {\bf Topics}\medskip
 
@@ -108,11 +108,12 @@
       deductive and algorithmic approaches, incorporation of
       theorem provers into larger systems, combination of
       theorem provers with other provers and tools. 
-\item Other topics, including: security algorithms,
-      properties, and policies; specification and requirements
-      analysis of systems; user interfaces for theorem
-      provers; development and extension of higher order
-      logics. 
+\item Other topics, including formal verification of security
+      policies and configurations (formal analysis,
+      verification of security algorithms, etc); specification
+      and requirements analysis of systems; user interfaces
+      for theorem provers; development and extension of higher
+      order logics. 
 \item Proof Pearls: concise and elegant presentations of
       interesting examples. 
 \end{itemize}