Dr. Vincent van Oostrom   

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

office, email, phone, consultation hours   Computational Logic research group