THE PEOPLE BEHIND THE CONFERENCE
SPIN 2025
International Symposium on Model Checking of Software
Source-attributed rosters checked 2026-09-13. 35 collected records; 35 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 2025 Artifact Evaluation Chairs
2 service records| Person | Role | Affiliation as listed | Evidence |
|---|---|---|---|
| Julie CaillerIdentity not yet linked | Artifact Evaluation Chairs | University of Lorraine & Inria, France Université de Lorraine · Institut national de recherche en sciences et technologies du numérique | Conference website ↗Checked 2026-09-13 |
| Nian-Ze LeeIdentity not yet linked | Artifact Evaluation Chairs | LMU Munich / National Taiwan University Ludwig-Maximilians-Universität München · National Taiwan University | Conference website ↗Checked 2026-09-13 |
SPIN 2025 Artifact Evaluation Committee
10 service records| Person | Role | Affiliation as listed | Evidence |
|---|---|---|---|
| Ryan DancyIdentity not yet linked | Artifact Evaluation Committee | University of Oxford, UK | Conference website ↗Checked 2026-09-13 |
| Chiao HsiehIdentity not yet linked | Artifact Evaluation Committee | Kyoto University, Japan | Conference website ↗Checked 2026-09-13 |
| Matthias KettlIdentity not yet linked | Artifact Evaluation Committee | Ludwig Maximilian University of Munich, Germany | Conference website ↗Checked 2026-09-13 |
| Bajczi LeventeIdentity not yet linked | Artifact Evaluation Committee | Budapest University of Technology and Economics, Hungary | Conference website ↗Checked 2026-09-13 |
| Thomas LembergerIdentity not yet linked | Artifact Evaluation Committee | Ludwig Maximilian University of Munich, Germany | Conference website ↗Checked 2026-09-13 |
| Chen-Kai LinIdentity not yet linked | Artifact Evaluation Committee | Institute of Information Science, Academia Sinica, Taiwan | Conference website ↗Checked 2026-09-13 |
| Landon J. TaylorIdentity not yet linked | Artifact Evaluation Committee | Utah State University, USA | Conference website ↗Checked 2026-09-13 |
| Mohit K. TekriwalIdentity not yet linked | Artifact Evaluation Committee | Lawrence Livermore National Laboratory, Livermore, Canada) Aline Uwimbabazi (Schlumberger Foundation & INRIA, France Lawrence Livermore National Laboratory · Livermore, Canada) Aline Uwimbabazi (Schlumberger Foundation & INRIA, France | Conference website ↗Checked 2026-09-13 |
| Aosen XiongIdentity not yet linked | Artifact Evaluation Committee | University of Waterloo, Canada | Conference website ↗Checked 2026-09-13 |
| Zsófia ÁdámIdentity not yet linked | Artifact Evaluation Committee | Budapest University of Technology and Economics, Hungary | Conference website ↗Checked 2026-09-13 |
SPIN 2025 Program Chairs
2 service records| Person | Role | Affiliation as listed | Evidence |
|---|---|---|---|
| Kristin Yvonne RozierIdentity not yet linked | Program Chairs | Iowa State University, Ames, USA Iowa State University · AMES (Slovenia) | Conference website ↗Checked 2026-09-13 |
| Gidon ErnstIdentity not yet linked | Program Chairs | Ludwig-Maximilians-Universität München, Germany | Conference website ↗Checked 2026-09-13 |
SPIN 2025 Program Committee
21 service records| Person | Role | Affiliation as listed | Evidence |
|---|---|---|---|
| Marek ChalupaIdentity not yet linked | Program Committee | Institute of Science and Technology, Austria | Conference website ↗Checked 2026-09-13 |
| Marie-Christine JakobsIdentity not yet linked | Program Committee | Ludwig-Maximilians-Universität München, Germany | Conference website ↗Checked 2026-09-13 |
| Nancy DayIdentity not yet linked | Program Committee | University of Waterloo, Canada | Conference website ↗Checked 2026-09-13 |
| Rohit DurejaIdentity not yet linked | Program Committee | IBM Corporation, USA | Conference website ↗Checked 2026-09-13 |
| Marie FarrellIdentity not yet linked | Program Committee | University of Manchester, UK | Conference website ↗Checked 2026-09-13 |
| Susanne GrafIdentity not yet linked | Program Committee | Verimag, France | Conference website ↗Checked 2026-09-13 |
| Ahmed IrfanIdentity not yet linked | Program Committee | SRI, USA | Conference website ↗Checked 2026-09-13 |
| Violet Ka I PunIdentity not yet linked | Program Committee | Western Norway University of Applied Sciences, Norway | Conference website ↗Checked 2026-09-13 |
| Dominik KlumppIdentity not yet linked | Program Committee | University of Freiburg, Germany | Conference website ↗Checked 2026-09-13 |
| Ondřej LengálIdentity not yet linked | Program Committee | Brno University of Technology, Czech Republic | Conference website ↗Checked 2026-09-13 |
| Cong LiuIdentity not yet linked | Program Committee | Collins Aerospace, USA | Conference website ↗Checked 2026-09-13 |
| Jianwen LiIdentity not yet linked | Program Committee | East China Normal University, China | Conference website ↗Checked 2026-09-13 |
| Lucas Martinelli TabajaraIdentity not yet linked | Program Committee | Amazon, USA | Conference website ↗Checked 2026-09-13 |
| Radu MateescuIdentity not yet linked | Program Committee | Inria Grenoble - Rhône-Alpes, France | Conference website ↗Checked 2026-09-13 |
| Thomas NeeleIdentity not yet linked | Program Committee | Eindhoven University of Technology, The Netherlands | Conference website ↗Checked 2026-09-13 |
| Marjan SirjaniIdentity not yet linked | Program Committee | Malardalen University, Sweden | Conference website ↗Checked 2026-09-13 |
| Nestan TsiskaridzeIdentity not yet linked | Program Committee | Standford University, USA | Conference website ↗Checked 2026-09-13 |
| Masaki WagaIdentity not yet linked | Program Committee | Kyoto University, Japan | Conference website ↗Checked 2026-09-13 |
| Anton WijsIdentity not yet linked | Program Committee | Eindhoven University of Technology, The Netherlands | Conference website ↗Checked 2026-09-13 |
| Matthias VolkIdentity not yet linked | Program Committee | Eindhoven University of Technology, The Netherlands | Conference website ↗Checked 2026-09-13 |
| Shufang ZhuIdentity not yet linked | Program Committee | University of Liverpool, UK | Conference website ↗Checked 2026-09-13 |