Room 1

City Hall

Sessions

Session 1 (Sep 12 09:00-09:20) Opening
Session 2 (Sep 12 09:20-10:50) Tutorial: Quantified Boolean Formulas - Martina Seidl
Session 3 (Sep 12 11:10-12:00) Invited talk: Reasoning with SAT and Beyond - Martina Seidl
Session 4 (Sep 12 13:30-15:10) Symbolic Computation Session (1)
Session 5A (Sep 12 15:30-16:50) Symbolic Computation Session (2) + Numerical Computing Session
Session 6A (Sep 12 17:10-19:10) Special Session on Symbolic Regression
Session 8 (Sep 13 09:00-10:00) Hagenberg Research
Session 9 (Sep 13 10:00-10:50) Invited talk: Prescriptive Analytics: When data- and simulation-based models interact in a cooperative way - Michael Affenzeller
Session 10 (Sep 13 11:10-12:00) Invited talk: SAT Solvers and Quantum Computing: Potential and Challenges - Robert Wille
Session 11 (Sep 13 13:30-15:00) Tutorial: Mathematical Model Checking in RISCAL - Wolfgang Schreiner
Session 12A (Sep 13 15:20-17:20) Distributed Computing Session + Theory of Computing Session
Session 13A (Sep 13 17:40-19:00) Artificial Intelligence Session (1)
Session 14A (Sep 14 09:00-10:30) Tutorial: Application, Analysis, and Development of Metaheuristic Algorithms with HeuristicLab, an Open-source Optimization Environment for Research and Education - Stefan Wagner
Session 15A (Sep 14 10:50-11:50) Logic and Programming Session
Session 16 (Sep 14 13:30-14:20) Invited talk: Implementation Techniques for Mathematical Model Checking - Wolfgang Schreiner
Session 17A (Sep 14 14:40-16:00) Special session Computer Algebra and Computational Logic (1)
Session 18B (Sep 14 16:20-17:40) Special session on Computer Algebra and Computational Logic (2)
Session 19 (Sep 15 09:00-10:30) Tutorial: Natural Language Processing for Industrial Applications - Markus Steindl and Sandra Wartner
Session 21 (Sep 15 14:00-14:50) Invited talk: Complex Network Analysis using AI algorithms - Camelia Chira
Session 22 (Sep 15 15:10-16:50) Artificial Intelligence Session (3)
Session 23 (Sep 15 17:00-17:10) Closing