Universität Wien - Kurt Gödel Research Center for Mathematical Logic
http://www.logic.univie.ac.at/
Mathematics Department

Vienna, Vienna
Austria
@