Department of Computer Science
University of Innsbruck
Technikerstr. 21a
6020 Innsbruck
Austria
aart.middeldorp(at)uibk.ac.at
Computational Logic research group
Associate Dean of Studies
Erasmus coordinator
consultation hours
Wednesday 11:30 – 13:00, 3M07, ICT building
recommended events
recommended journals
recommended proceedings
recommended positions