Organizers

  • Marcello M. Bersani, Politecnico di Milano, Italy
  • Davide Bresolin, Alma Mater Studiorum Università di Bologna, Italy
  • Luca Ferrucci, ISTI-CNR, Italy
  • Manuel Mazzara, Innopolis University, Russia
  • Salvatore Distefano, Politecnico di Milano, Italy (publicity chair)

Program Committee

  • Bert van Beek, Technical University of Eindhoven, The Netherlands
  • Carlo Bellettini, Università degli studi di Milano, Italy
  • Laura Bocchi, University of Kent, UK
  • Vincenzo Ciancia, ISTI-CNR, Pisa, Italy
  • Michele Ciavotta, Politecnico di Milano, Italy
  • Alexander Chichigin , Innopolis University, Russia
  • Stéphane Demri, New York University and CNRS, France
  • Leo Freitas, Newcastle University, UK
  • Carlo Alberto Furia, ETH Zürich, Switzerland
  • Silvio Ghilardi, Università degli studi di Milano, Italy
  • Wojtek Jamroga, Polish Academy of Science, Poland
  • Alberto Lluch Lafuente, Technical University of Denmark, Denmark
  • Alexandr Naumchev, Innopolis University, Russia
  • Luca Pardini, Università di Pisa, Italy
  • César Sánchez, IMDEA Software Institute, Madrid, Spain
  • Maurice Ter Beek, ISTI-CNR, Pisa, Italy