About
Groups
Algorithms and Complexity
Databases and Artificial Intelligence
Formal Methods in Systems Engineering
Knowledge-Based Systems
Security and Privacy
Theory and Logic
PhD
Doctoral Program (FWF) Logical Methods in Computer Science
Doctoral Program MSCA Cofund LogiCS@TUWien
Master’s
Master in Logic and Computation
VCLA
Vienna Center for Logic and Algorithms
Talks/News
Partners
Faculty of Informatics
Cyberphysical Systems Group
Computer Languages Group
Computational Logic Group
Kurt Gödel Society
Logic in Austria
National Research Network RiSE
Contact
Search
Adrian Haret
March 24, 2015
/
in
DBAI seminar
/
by
admin
Stefan Rümmele
Sebastian Skritek
Scroll to top