Julian Nagele
Computational Logic Research Group
Department of Computer Science
University of Innsbruck
Austria

office hours: Wednesday 14:15 – 15:45
room: 3M03
phone: +43/512/507-53314
email: julian.nagele__AT__uibk.ac.at
PGP key