--- a/Paper/document/root.tex	Wed Feb 09 12:34:30 2011 +0000
+++ b/Paper/document/root.tex	Thu Feb 10 05:57:56 2011 +0000
@@ -32,7 +32,7 @@
 \title{A Formalisation of the Myhill-Nerode Theorem\\ based on Regular
   Expressions (Proof Pearl)}
 \author{Chunhan Wu\inst{1} \and Xingjuan Zhang\inst{1} \and Christian Urban\inst{2}}
-\institute{PLA University, China \and TU Munich, Germany}
+\institute{PLA University of Science and Technology, China \and TU Munich, Germany}
 \maketitle
 
 \begin{abstract}