Logic in Austria

Research Groups · Master and PhD Programs · Organizations

Funded Doctoral Positions

Doctoral Program LogiCSTU 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.
For further details, consider the Call for Students on the LogiCS website.

Research Groups

Vienna University of Technology (TU Vienna)
Database and Artificial Intelligence Group Database and Artificial Intelligence Group
Georg Gottlob, Reinhard Pichler, Stefan Woltran
Knowledge-Based Systems Group Knowledge-Based Systems Group
Thomas Eiter, Stefan Szeider, Uwe Egly, Hans Tompits
Formal Methods in Systems Engineering Group Formal Methods in Systems Engineering Group
Helmut Veith, Georg Weissenbacher, Florian Zuleger
Theory and Logic Group Theory and Logic Group
Alexander Leitsch, Agata Ciabattoni, Christian Fermüller, Bernhard Gramlich †, Gernot Salzer
Faculty of Informatics Cyber-Physical Systems Group
Radu Grosu
TU Vienna Research Unit Computational Logic
Matthias Baaz, Martin Goldstern, Stefan Hetzl
Institute of Science and Technology Austria (IST Austria)
IST Austria Logo Henzinger Group, Chatterjee Group
Tom Henzinger, Krishnendu Chatterjee
University of Vienna
University of Vienna Kurt Gödel Research Center
Sy-David Friedman
Graz University of Technology (TU Graz)
IAIK TU Graz Formal Methods for Design & Verification Group
Roderick Bloem
Johannes Kepler University Linz (JKU Linz)
JKU Institute for Formal Models and Verification
Armin Biere, Martina Seidl
RISC Linz Logo Research Institute for Symbolic Computation (RISC)
Bruno Buchberger, Teimuraz Kutsia
University of Innsbruck
Computational Logic Group Computational Logic Group
Aart Middeldorp, Georg Moser, René Thiemann

Master and PhD Programs

Doctoral Program LogiCSTU Vienna offers a range of Master and PhD Programs in the field of logic. All courses are offered in English.

Organizations

The following institutions provide additional support for logic research by organizing talk/seminar series, funding talks and conferences, etc.:

Austrian Society for Rigorous Systems Engineering
Kurt Gödel Society
Vienna Center for Logic and Algorithms