THE PEOPLE BEHIND THE CONFERENCE
SPIN 2026
International Symposium on Model Checking of Software
Source-attributed rosters checked 2026-09-13. 26 collected records; 24 await identity review and remain visible as unlinked names. Affiliations are preserved as stated by each source. Source gaps: No named workshop organizer/chair roster published.
SPIN 2026 Artifact Evaluation Chairs
2 service records| Person | Role | Affiliation as listed | Evidence |
|---|---|---|---|
| Laura BussiIdentity not yet linked | Artifact Evaluation Chairs | University of Amsterdam, The Netherlands | Conference website ↗Checked 2026-09-13 |
| Nian-Ze LeeIdentity not yet linked | Artifact Evaluation Chairs | National Taiwan University, Taiwan | Conference website ↗Checked 2026-09-13 |
SPIN 2026 Program Chairs
2 service records| Person | Role | Affiliation as listed | Evidence |
|---|---|---|---|
| Vincenzo CianciaIdentity not yet linked | Program Chairs | National Research Council, Institute of Information Science and Technologies “Alessandro Faedo”, Pisa, Italy National Research Council · Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" | Conference website ↗Checked 2026-09-13 |
| Arnd HartmannsIdentity not yet linked | Program Chairs | Universiteit Twente, The Netherlands | Conference website ↗Checked 2026-09-13 |
SPIN 2026 Program Committee
22 service records| Person | Role | Affiliation as listed | Evidence |
|---|---|---|---|
| Jiri BarnatIdentity not yet linked | Program Committee | Masaryk University | Conference website ↗Checked 2026-09-13 |
| Carlos E. BuddeIdentity not yet linked | Program Committee | Technical University of Denmark | Conference website ↗Checked 2026-09-13 |
| Pablo CastroIdentity not yet linked | Program Committee | Universidad Nacional de Rio Cuarto, Argentina | Conference website ↗Checked 2026-09-13 |
| Vincenzo CianciaIdentity not yet linked | Program Committee | Istituto di Scienza e Tecnologie dell’Informazione “A. Faedo”, Consiglio Nazionale delle Ricerche, Pisa, ITALY | Conference website ↗Checked 2026-09-13 |
| Nancy DayIdentity not yet linked | Program Committee | University of Waterloo | Conference website ↗Checked 2026-09-13 |
| Gidon ErnstIdentity not yet linked | Program Committee | Ludwig Maximilian University of Munich | Conference website ↗Checked 2026-09-13 |
| Yliès FalconeIdentity not yet linked | Program Committee | Univ. Grenoble Alpes, CNRS, Inria, Grenoble INP, LIG, 38000 Grenoble, France Univ. Grenoble Alpes · CNRS · Institut national de recherche en sciences et technologies du numérique · Institut polytechnique de Grenoble · Laboratoire d'Informatique de Grenoble | Conference website ↗Checked 2026-09-13 |
| Ansgar FehnkerIdentity not yet linked | Program Committee | Macquarie University | Conference website ↗Checked 2026-09-13 |
| Jan Friso GrooteIdentity not yet linked | Program Committee | Eindhoven University of Technology | Conference website ↗Checked 2026-09-13 |
| Arnd HartmannsIdentity not yet linked | Program Committee | University of Twente | Conference website ↗Checked 2026-09-13 |
| Daisuke IshiiIdentity not yet linked | Program Committee | Japan Advanced Institute of Science and Technology | Conference website ↗Checked 2026-09-13 |
| Alfons LaarmanIdentity not yet linked | Program Committee | Leiden University | Conference website ↗Checked 2026-09-13 |
| Stefan LeueIdentity not yet linked | Program Committee | University of Konstanz, Department of Computer and Information Science | Conference website ↗Checked 2026-09-13 |
| Eric MercerIdentity not yet linked | Program Committee | Brigham Young University | Conference website ↗Checked 2026-09-13 |
| Kristin Yvonne Rozier | Program Committee | Iowa State University | Conference website ↗Checked 2026-09-13 |
| Cristina Seceleanu | Program Committee | Mälardalen University | Conference website ↗Checked 2026-09-13 |
| Martin TapplerIdentity not yet linked | Program Committee | TU Wien | Conference website ↗Checked 2026-09-13 |
| Emilio TuostoIdentity not yet linked | Program Committee | Gran Sasso Science Institute, IT Gran Sasso Science Institute · Instituto de Telecomunicações | Conference website ↗Checked 2026-09-13 |
| Franck van BreugelIdentity not yet linked | Program Committee | York University | Conference website ↗Checked 2026-09-13 |
| Vesal VojdaniIdentity not yet linked | Program Committee | University of Tartu | Conference website ↗Checked 2026-09-13 |
| Miaomiao ZhangIdentity not yet linked | Program Committee | Tongji University | Conference website ↗Checked 2026-09-13 |
| Zhen ZhangIdentity not yet linked | Program Committee | Utah State University | Conference website ↗Checked 2026-09-13 |