THE PEOPLE BEHIND THE CONFERENCE
SPIN 2023
International Symposium on Model Checking of Software
Source-attributed rosters checked 2026-09-13. 31 collected records; 31 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 2023 Program Chairs
2 service records| Person | Role | Affiliation as listed | Evidence |
|---|---|---|---|
| Georgiana CaltaisIdentity not yet linked | Program Chairs | University of Twente, Netherlands | Conference website ↗Checked 2026-09-13 |
| Christian SchillingIdentity not yet linked | Program Chairs | Aalborg University, Denmark | Conference website ↗Checked 2026-09-13 |
SPIN 2023 Program Committee
29 service records| Person | Role | Affiliation as listed | Evidence |
|---|---|---|---|
| Guy AvniIdentity not yet linked | Program Committee | University of Haifa, Israel | Conference website ↗Checked 2026-09-13 |
| Kyungmin BaeIdentity not yet linked | Program Committee | Pohang University of Science and Technology, Korea | Conference website ↗Checked 2026-09-13 |
| Roberto BagnaraIdentity not yet linked | Program Committee | University of Parma, Italy | Conference website ↗Checked 2026-09-13 |
| Ezio BartocciIdentity not yet linked | Program Committee | TU Vienna, Austria | Conference website ↗Checked 2026-09-13 |
| Sergiy BogomolovIdentity not yet linked | Program Committee | Newcastle University, UK | Conference website ↗Checked 2026-09-13 |
| Dragan BosnackiIdentity not yet linked | Program Committee | Eindhoven University of Technology, Netherlands | Conference website ↗Checked 2026-09-13 |
| Krishnendu ChatterjeeIdentity not yet linked | Program Committee | IST Austria, Austria | Conference website ↗Checked 2026-09-13 |
| Bernd FinkbeinerIdentity not yet linked | Program Committee | CISPA Helmholtz Center for Information Security, Germany | Conference website ↗Checked 2026-09-13 |
| Miriam García SotoIdentity not yet linked | Program Committee | Complutense University of Madrid, Spain | Conference website ↗Checked 2026-09-13 |
| Mirco GiacobbeIdentity not yet linked | Program Committee | University of Birmingham, UK | Conference website ↗Checked 2026-09-13 |
| Arnd HartmannsIdentity not yet linked | Program Committee | University of Twente, Netherlands | Conference website ↗Checked 2026-09-13 |
| Klaus HavelundIdentity not yet linked | Program Committee | Jet Propulsion Laboratory, USA | Conference website ↗Checked 2026-09-13 |
| Gerard HolzmannIdentity not yet linked | Program Committee | Nimble Research, USA | Conference website ↗Checked 2026-09-13 |
| Taylor T. JohnsonIdentity not yet linked | Program Committee | Vanderbilt University, USA | Conference website ↗Checked 2026-09-13 |
| Bernhard KraglIdentity not yet linked | Program Committee | AWS, Austria | Conference website ↗Checked 2026-09-13 |
| Axel LegayIdentity not yet linked | Program Committee | University of Louvain, Belgium | Conference website ↗Checked 2026-09-13 |
| Stefan LeueIdentity not yet linked | Program Committee | University of Konstanz, Germany | Conference website ↗Checked 2026-09-13 |
| Anna LukinaIdentity not yet linked | Program Committee | TU Delft, Netherlands | Conference website ↗Checked 2026-09-13 |
| Sergio MoverIdentity not yet linked | Program Committee | École Polytechnique, France | Conference website ↗Checked 2026-09-13 |
| Rajagopal NagarajanIdentity not yet linked | Program Committee | Middlesex University, UK | Conference website ↗Checked 2026-09-13 |
| Daniel NeiderIdentity not yet linked | Program Committee | University of Oldenburg, Germany | Conference website ↗Checked 2026-09-13 |
| Corina PasareanuIdentity not yet linked | Program Committee | NASA Ames & CMU, USA Ames Research Center · CMU | Conference website ↗Checked 2026-09-13 |
| Doron PeledIdentity not yet linked | Program Committee | Bar Ilan University, Israel | Conference website ↗Checked 2026-09-13 |
| Andreas PodelskiIdentity not yet linked | Program Committee | University of Freiburg, Germany | Conference website ↗Checked 2026-09-13 |
| Christian SchillingIdentity not yet linked | Program Committee | Aalborg University, Denmark | Conference website ↗Checked 2026-09-13 |
| Natasha SharyginaIdentity not yet linked | Program Committee | University of Lugano, Switzerland | Conference website ↗Checked 2026-09-13 |
| Jiri SrbaIdentity not yet linked | Program Committee | Aalborg University, Denmark | Conference website ↗Checked 2026-09-13 |
| Michael TautschnigIdentity not yet linked | Program Committee | AWS & Queen Mary University of London, UK American Welding Society · Queen Mary University of London | Conference website ↗Checked 2026-09-13 |
| Georg WeissenbacherIdentity not yet linked | Program Committee | TU Vienna, Austria | Conference website ↗Checked 2026-09-13 |