--- a/Quotient-Paper-jv/document/root.tex	Tue Mar 20 11:26:10 2012 +0000
+++ b/Quotient-Paper-jv/document/root.tex	Wed Mar 21 20:34:04 2012 +0000
@@ -39,8 +39,8 @@
 
 \title{Quotients Revisited for Isabelle/HOL}
 \author{Cezary Kaliszyk \and Christian Urban}
-\institute{C.~Kaliszyk \at University of Tsukuba, Japan
-     \and C.~Urban \at Technical University of Munich, Germany}
+\institute{C.~Kaliszyk \at University of Innsbruck, Austria
+     \and C.~Urban \at King's College London, UK}
 \date{Received: date / Accepted: date}
 
 \maketitle