committee/

THE PEOPLE BEHIND THE CONFERENCE

SPIN 2024

International Symposium on Model Checking of Software

Complete roster coverageOfficial edition website ↗

Source-attributed rosters checked 2026-09-13. 32 collected records; 32 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 2024 Artifact Evaluation Chairs

2 service records
SPIN 2024 Artifact Evaluation Chairs membership and source references
Person Role Affiliation as listed Evidence
Ernst Moritz HahnIdentity not yet linkedArtifact Evaluation Chairs University of Twente, Netherlands Conference website ↗Checked 2026-09-13
Matthias VolkIdentity not yet linkedArtifact Evaluation Chairs Eindhoven University of Technology, Netherlands Conference website ↗Checked 2026-09-13

SPIN 2024 Artifact Evaluation Committee

8 service records
SPIN 2024 Artifact Evaluation Committee membership and source references
Person Role Affiliation as listed Evidence
Peter BackemanIdentity not yet linkedArtifact Evaluation Committee Mälardalen University, Sweden Conference website ↗Checked 2026-09-13
Rong GuIdentity not yet linkedArtifact Evaluation Committee Mälardalen University, Sweden Conference website ↗Checked 2026-09-13
Sudeep KanavIdentity not yet linkedArtifact Evaluation Committee LMU Munich, Germany Conference website ↗Checked 2026-09-13
Martin KristjansenIdentity not yet linkedArtifact Evaluation Committee Aalborg University, Denmark Conference website ↗Checked 2026-09-13
Stefano NicolettiIdentity not yet linkedArtifact Evaluation Committee University of Twente, Netherlands Conference website ↗Checked 2026-09-13
Quentin NivonIdentity not yet linkedArtifact Evaluation Committee INRIA Grenoble Rhône-Alpes, France Conference website ↗Checked 2026-09-13
Reza SoltaniIdentity not yet linkedArtifact Evaluation Committee University of Twente, Netherlands Conference website ↗Checked 2026-09-13
Ahang ZuoIdentity not yet linkedArtifact Evaluation Committee INRIA Grenoble Rhône-Alpes, France Conference website ↗Checked 2026-09-13

SPIN 2024 Program Chairs

2 service records
SPIN 2024 Program Chairs membership and source references
Person Role Affiliation as listed Evidence
Thomas NeeleIdentity not yet linkedProgram Chairs Eindhoven University of Technology, Netherlands Conference website ↗Checked 2026-09-13
Anton WijsIdentity not yet linkedProgram Chairs Eindhoven University of Technology, Netherlands Conference website ↗Checked 2026-09-13

SPIN 2024 Program Committee

20 service records
SPIN 2024 Program Committee membership and source references
Person Role Affiliation as listed Evidence
Georgiana CaltaisIdentity not yet linkedProgram Committee University of Twente, The Netherlands Conference website ↗Checked 2026-09-13
Deepak D’SouzaIdentity not yet linkedProgram Committee Indian Institute of Science Bangalore, India Conference website ↗Checked 2026-09-13
Sofie HaesaertIdentity not yet linkedProgram Committee Eindhoven University of Technology, The Netherlands Conference website ↗Checked 2026-09-13
Matthias HeizmannIdentity not yet linkedProgram Committee University of Freiburg, Germany Conference website ↗Checked 2026-09-13
Paula HerberIdentity not yet linkedProgram Committee University of Münster, Germany Conference website ↗Checked 2026-09-13
Gerard HolzmannIdentity not yet linkedProgram Committee Nimble Research, USA Conference website ↗Checked 2026-09-13
Mitja KulczynskiIdentity not yet linkedProgram Committee Kiel University, Germany Conference website ↗Checked 2026-09-13
Ondřej LengálIdentity not yet linkedProgram Committee Brno University of Technology, Czech Republic Conference website ↗Checked 2026-09-13
Radu MateescuIdentity not yet linkedProgram Committee Inria Grenoble - Rhône-Alpes, France Conference website ↗Checked 2026-09-13
Rosemary MonahanIdentity not yet linkedProgram Committee Maynooth University, Ireland Conference website ↗Checked 2026-09-13
Thomas NeeleIdentity not yet linkedProgram Committee Eindhoven University of Technology, The Netherlands Conference website ↗Checked 2026-09-13
Jaco van de PolIdentity not yet linkedProgram Committee Aarhus University, Denmark Conference website ↗Checked 2026-09-13
Violet Ka I PunIdentity not yet linkedProgram Committee Western Norway University of Applied Sciences, Norway Conference website ↗Checked 2026-09-13
Alceste ScalasIdentity not yet linkedProgram Committee Technical University of Denmark, Denmark Conference website ↗Checked 2026-09-13
Christian SchillingIdentity not yet linkedProgram Committee Aalborg University, Denmark Conference website ↗Checked 2026-09-13
Stephen SiegelIdentity not yet linkedProgram Committee University of Delaware, USA Conference website ↗Checked 2026-09-13
Marjan SirjaniIdentity not yet linkedProgram Committee Malardalen University, Sweden Conference website ↗Checked 2026-09-13
Scott SmolkaIdentity not yet linkedProgram Committee Stony Brook University, USA Conference website ↗Checked 2026-09-13
Yann Thierry-MiegIdentity not yet linkedProgram Committee LIP6-Sorbonne Université, France Conference website ↗Checked 2026-09-13
Anton WijsIdentity not yet linkedProgram Committee Eindhoven University of Technology, The Netherlands Conference website ↗Checked 2026-09-13