About us
Staff members
| Address and contact information
Research
Fields of research
| Publications
| Technical Reports
Projects
Talks
Teaching
Courses
Services
Job openings
TU Wien, TU Graz, and JKU Linz are seeking exceptionally talented and motivated students for their joint doctoral program LogiCS.
The LogiCS doctoral college focuses on interdisciplinary research topics covering
- computational logic, and applications of logic to
- databases and artificial intelligence as well as to
- computer-aided verification.