surname at logic.at
Institute of Discrete Mathematics and Geometry,
Research Group on Computational Logic,
Room DA 08 E02 (8th floor).
Vienna University of Technology,
Wiedner Hauptstrasse 8–10,
1040 Vienna, Austria.
Less frequently, I can be found at:
Kurt Gödel Research Center for Mathematical Logic,
University of Vienna,
Währinger Strasse 25,
1090 Vienna, Austria.