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
- WRLA 2024 (submission deadline: February 12)
- FLOPS 2024
- LPAR 2024 (submission deadline: February 23)
- CoCo 2024
- ISR 2024 (early registration deadline: May 1)
recommended journals
recommended proceedings