Department of Computer Science
University of Innsbruck
Technikerstr. 21a
6020 Innsbruck
Austria
aart.middeldorp(at)uibk.ac.at

Computational Logic research group

Erasmus coordinator

Monday 12:00 – 13:30, 3M07, ICT building

• CPP 2027
• FSCD 2027
• LICS 2027

• Journal of Automated Reasoning

• Electronic Proceedings in Theoretical Computer Science