--- a/LMCS-Paper/document/root.tex	Tue Sep 13 19:48:47 2011 +0200
+++ b/LMCS-Paper/document/root.tex	Wed Sep 14 13:40:24 2011 +0900
@@ -72,7 +72,7 @@
 
 \author{Cezary Kaliszyk}
 \address{University of Tsukuba, Japan}
-\email{kaliszyk@score.cs.tsukuba.ac.jp}
+\email{kaliszyk@cs.tsukuba.ac.jp}
 \thanks{$^\star$~This is a revised and expanded version of~\cite{UrbanKaliszyk11}}
 
 \keywords{Nominal Isabelle, variable convention, theorem provers, formal reasoning,lambda-calculus}