Univ.-Prof. Dr. Aart Middeldorp   
contact details

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