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; no consultation hours on July 10
recommended events
recommended journals
recommended proceedings