Hai Xia Address: Hai Xia Technische Universität Wien Institute of Logic and Computation Favoritenstraße 9–11, E192-01 1040 Wien Austria Room: HA0410 Email: hxia@ac.tuwien.ac.at Web: http://www.ac.tuwien.ac.at/people/hxia/