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
Wolfgang Fischl
April 16, 2015
/
in
DBAI seminar
/
by
admin
Sebastian Skritek
James Anderson
Scroll to top