Kurt Gödel Research Center for Mathematical Logic, University of Vienna, Austria Conference uri icon