Tutorials

  • Frédéric Loulergue, Alan Blanchard, Nikolai Kosmatov – Secure your Things: Secure Development of IoT Software with FRAMA-C
  • Martina Seidl – Quantified Boolean Formulas
  • Stefan Wagner – Application, Analysis, and Development of Metaheuristic Algorithms with HeuristicLab, an Open-source Optimization Environment for Research and Education
  • Wolfgang Schreiner – Mathematical Model Checking in RISCAL
  • Wolfgang Windsteiger – Conditional Rewriting in Theorema 2.0
  • Markus Steindl, Sandra Wartner – Natural Language Processing for Industrial Applications

Tutorial chairs

  • Florin Fortis, West University of Timisoara, Romania
  • Wolfgang Windsteiger, Johannes Kepler University, Austria