Programme Committee



Program Committee Chairs

Gwen Salaun
        Univesity of Grenoble Alpes, France
       Web: http://www.inrialpes.fr/vasy/people/Gwen.Salaun/

Marielle Stoelinga
       Formal Methods & Tools, University of Twente, The Netherlands
       Web: http://www.cs.utwente.nl/~marielle

Program Committee

  • Laura Brandan Briones, National University of Cordoba, Argentina
  • Maximiliano Cristiá, Universidad Nacional de Rosario, Argentina
  • Marco Faella, University of Naples, Italy
  • Ylies Falcone, University of Grenoble Alpes, France
  • Tingting Han, University of London, UK
  • Fabrice Kordon, University Pierre et Marie Curie, France
  • Stefan Leue, University of Konstanz, Germany
  • Malte Lochau, Darmstadt University, Germany
  • Annabelle McIver, Macquarie University, Australia
  • Mercedes Merayo, Universidad Complutense de Madrid, Spain
  • Dominique Mery, University of Lorraine, France
  • Mohammad Mousavi, Halmstad University, Sweden
  • Brian Nielsen, Aalborg University, Denmark
  • Jun Pang, University of Luxembourg, Luxembourg
  • Corina Pasareanu, NASA Ames, USA
  • Wishnu Prasetya, Utrecht University, The Netherlands
  • Marjan Sirjani, Reykjavik University, Iceland
  • Hasan Sözer, Özyegin University, Turkey
  • Tanja Vos, Valencia University, Spain
  • Anton Wijs, Eindhoven University of Technology, The Netherlands
  • Liu Yang, Nanyang Technological University, Singapore
  • Gianluigi Zavattaro, University of Bologna, Italy
  • Lijun Zhang, Chinese Academy of Sciences, China