--- a/LMCS-Paper/document/root.tex	Wed Feb 22 12:10:17 2012 +0000
+++ b/LMCS-Paper/document/root.tex	Wed Feb 29 03:12:52 2012 +0000
@@ -72,8 +72,8 @@
 \email{christian.urban@kcl.ac.uk}
 
 \author{Cezary Kaliszyk}
-\address{University of Tsukuba, Japan}
-\email{kaliszyk@cs.tsukuba.ac.jp}
+\address{University of Innsbruck, Austria}
+\email{cezary.kaliszyk@uibk.ac.at}
 \thanks{$^\star$~This is a revised and expanded version of~\cite{UrbanKaliszyk11}}
 
 \keywords{Nominal Isabelle, variable convention, theorem provers, formal reasoning, lambda-calculus}