Tutorial: Application, Analysis, and Development of Metaheuristic Algorithms with HeuristicLab, an Open-source Optimization Environment for Research and Education - Stefan Wagner

Tutorial: Conditional Rewriting in Theorema 2.0 - Wolfgang Windsteiger

Logic and Programming Session

Workshop on Agents for Complex Systems + PhD Session

Invited talk: Implementation Techniques for Mathematical Model Checking - Wolfgang Schreiner

Special session Computer Algebra and Computational Logic (1)

Workshop on Digital Image Processing for Medical and Automotive Industry (1)

Workshop on Digital Image Processing for Medical and Automotive Industry (2)

Special session on Computer Algebra and Computational Logic (2)

Conference Dinner: 19:00 Schlossbrasserie, Schlossberg 1a, 4020 Linz, phone Tudor +43 650 5809220