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