• 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