Professor and Chair of the Computational Systems Group Department of Computer Sciences University of Salzburg Email: ck@cs.uni-salzburg.at Office: Room 2.24, Jakob-Haringer-Str. 2, 5020 Salzburg, Austria