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

office, email, phone   consultation hours

Computational Logic research group

• LPAR 2009
• IJCAR 2010

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

• Electronic Proceedings in Theoretical Computer Science