Institute of Computer Science
University of Innsbruck
Technikerstr. 21a
6020 Innsbruck
Austria

office, email, phone   consultation hours   Computational Logic research group

• RTA 2013
• ÖMG-DMV 2013
• LPAR-19

• Journal of Automated Reasoning
• Applicable Algebra in Engineering, Communication and Computing

• Electronic Proceedings in Theoretical Computer Science