Plenary talks:

• Nikolaj Bjorner, Microsoft Research, USA
• Kadi Bouatouch, University of Rennes, France
• Mike Preuss, Leiden University, The Netherlands
• Sasha Radomirovic, University of Surrey, UK
• Amr Sabry, Indiana University, USA