Committees

Program Chairs

Vincenzo Ciancia (National Research Council, Institute of Information Science and Technologies “Alessandro Faedo”, Pisa, Italy) ✉️ vincenzo.ciancia@isti.cnr.it
Arnd Hartmanns (Universiteit Twente, The Netherlands) ✉️ a.hartmanns@utwente.nl

Laura Bussi (University of Amsterdam, The Netherlands) ✉️ l.bussi@uva.nl
Nian-Ze Lee (National Taiwan University, Taiwan) ✉️ nzlee@ntu.edu.tw

Jiri Barnat (Masaryk University)
Carlos E. Budde (Technical University of Denmark)
Pablo Castro (Universidad Nacional de Rio Cuarto, Argentina)
Vincenzo Ciancia (Istituto di Scienza e Tecnologie dell’Informazione “A. Faedo”, Consiglio Nazionale delle Ricerche, Pisa, ITALY)
Nancy Day (University of Waterloo)
Gidon Ernst (Ludwig Maximilian University of Munich)
Yliès Falcone (Univ. Grenoble Alpes, CNRS, Inria, Grenoble INP, LIG, 38000 Grenoble, France)
Ansgar Fehnker (Macquarie University)
Jan Friso Groote (Eindhoven University of Technology)
Arnd Hartmanns (University of Twente)
Daisuke Ishii (Japan Advanced Institute of Science and Technology)
Alfons Laarman (Leiden University)
Stefan Leue (University of Konstanz, Department of Computer and Information Science)
Eric Mercer (Brigham Young University)
Kristin Yvonne Rozier (Iowa State University)
Cristina Seceleanu (Mälardalen University)
Martin Tappler (TU Wien)
Emilio Tuosto (Gran Sasso Science Institute, IT) |
Franck van Breugel (York University)
Vesal Vojdani (University of Tartu)
Miaomiao Zhang (tongji university)
Zhen Zhang (Utah State University)

TBA

Anton Wijs (Eindhoven University of Technology, Netherlands, chair)
Stefan Leue (University of Konstanz, Germany)
Susanne Graf (Verimag, France)
Gerard Holzmann (Nimble Research, USA)
Jaco van de Pol (Aarhus University, Denmark)
Neha Rungta (AWS, USA)
Willem Visser (Stellenbosch University, South Africa)
Georgiana Caltais (University of Twente, Netherlands)
Christian Schilling (Aalborg University, Denmark)