Plenary talks:

• Nikolaj Bjorner, Microsoft Research, USA
• Kadi Bouatouch, University of Rennes, France
• Mike Preuss, Leiden University, The Netherlands
• Sasa Radomirovic, University of Surrey, UK
• Amr Sabry, Indiana University, USA
• Dan Tufiș, Research Institute for Artificial Intelligence ”Mihai Drăgănescu”, Romanian Academy