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
(until February 28, 2026)
Erasmus coordinator
consultation hours
Wednesday 11:30 – 13:00, 3M07, ICT building
no consultation hours on
February 11, 18, 25
recommended events
recommended journals
recommended proceedings