Address

Computational Logic Research Group
Institute of Computer Science
University of Innsbruck
Technikerstraße 21a
A-6020 Innsbruck
Austria

Contact

email: {firstname.lastname}@uibk.ac.at
office: 3M03
office hours: Wednesday 13:00 – 15:00
phone: +43/512/507-96824