Technical Session Chairs


Program Committee

  • Ait Ameur, Yamine, Toulouse Institute for Research in Computer Science, France
  • Banach, Richard, University of Manchester, United Kingdom
  • Challenger, Moharram, University of Antwerp, Belgium
  • Cicirelli, Franco, DIMES Università della Calabria, Italy
  • Gomes, Luis, Universidade NOVA de Lisboa, Portugal
  • Gracanin, Denis, Virginia Tech, USA
  • Havelund, Klaus, Jet Propulsion Laboratory, USA
  • Hsiao, Michael, Virginia Tech, USA
  • Karaduman, Burak, University of Antwerp, Belgium
  • Katwijk, Jan van, TU Delft, Netherlands
  • Pullum, Laura, Oak Ridge National Laboratory, USA
  • Sekerinski, Emil, McMaster University, Canada
  • Sojka, Michal, Czech Technical University in Prague, Czech Republic
  • Trybus, Leszek, Rzeszow University of Technology, Poland
  • Vardanega, Tullio, University of Padua, Italy
  • Velev, Miroslav, Aries Design Automation, USA

Important dates

Technical sessions proposal submission: November 21, 2021
Paper submission (sharp / no extension): May 10, 2022
Position paper submission: June 7, 2022
Author notification: July 7, 2022
Registration and early payment will be open on: July 13, 2022
Final paper submission, registration: July 24, 2022
Discounted payment: July 26, 2022
Conference date: September 4-7, 2022

Strategic Partner

QED Software