THE PEOPLE BEHIND THE CONFERENCE
VMCAI 2026
International Conference on Verification, Model Checking and Abstract Interpretation
Source-attributed rosters checked 2026-09-13. 54 collected records; 42 await identity review and remain visible as unlinked names. Affiliations are preserved as stated by each source.
Artifact Evaluation Committee
8 service records| Person | Role | Affiliation as listed | Evidence |
|---|---|---|---|
| Luca Di StefanoIdentity not yet linked | Artifact Evaluation Committee Member | Technische Universität Wien | Conference website ↗Checked 2026-09-13 |
| Greta DolcettiIdentity not yet linked | Artifact Evaluation Committee Member | Ca’ Foscari University of Venice | Conference website ↗Checked 2026-09-13 |
| Michal HečkoIdentity not yet linked | Artifact Evaluation Committee Member | Brno University of Technology | Conference website ↗Checked 2026-09-13 |
| Jérôme LerouxIdentity not yet linked | Artifact Evaluation Committee Member | LaBRI, Univ. Bordeaux, CNRS, Bordeaux INP, Talence, France Laboratoire Bordelais de Recherche en Informatique · Univ. Bordeaux · CNRS · Institut Polytechnique de Bordeaux | Conference website ↗Checked 2026-09-13 |
| Dorian LesbreIdentity not yet linked | Artifact Evaluation Committee Member | Université Paris-Saclay - CEA LIST | Conference website ↗Checked 2026-09-13 |
| Jingyi Mei | Artifact Evaluation Committee Member | Leiden University | Conference website ↗Checked 2026-09-13 |
| Diletta RigoIdentity not yet linked | Artifact Evaluation Committee Member | Dipartimento di Matematica, University of Padova, Italy | Conference website ↗Checked 2026-09-13 |
| Gaëtan StaquetIdentity not yet linked | Artifact Evaluation Committee Member | Nantes Université - École Centrale Nantes - CNRS - LS2N - UMR 6004 | Conference website ↗Checked 2026-09-13 |
Organizing Committee
3 service records| Person | Role | Affiliation as listed | Evidence |
|---|---|---|---|
| Yu-Fang Chen | Organizer | Academia Sinica | Conference website ↗Checked 2026-09-13 |
| Thomas P. JensenIdentity not yet linked | Organizer | INRIA Rennes | Conference website ↗Checked 2026-09-13 |
| Ondřej Lengál | Organizer | Brno University of Technology | Conference website ↗Checked 2026-09-13 |
Program Committee
43 service records| Person | Role | Affiliation as listed | Evidence |
|---|---|---|---|
| Yu-Fang Chen | Co-chair | Academia Sinica | Conference website ↗Checked 2026-09-13 |
| Thomas P. JensenIdentity not yet linked | Co-chair | INRIA Rennes | Conference website ↗Checked 2026-09-13 |
| Ondřej Lengál | Co-chair | Brno University of Technology | Conference website ↗Checked 2026-09-13 |
| Alexander BakstIdentity not yet linked | Member | Aarno Labs | Conference website ↗Checked 2026-09-13 |
| Sébastien BardinIdentity not yet linked | Member | CEA LIST, University Paris-Saclay Laboratoire d'Intégration des Systèmes et des Technologies · University Paris Saclay | Conference website ↗Checked 2026-09-13 |
| Borzoo BonakdarpourIdentity not yet linked | Member | Michigan State University | Conference website ↗Checked 2026-09-13 |
| Filip Cano CórdobaIdentity not yet linked | Member | Institute of Science and Technology Austria | Conference website ↗Checked 2026-09-13 |
| Milan CeskaIdentity not yet linked | Member | Brno University of Technology | Conference website ↗Checked 2026-09-13 |
| Liqian ChenIdentity not yet linked | Member | National University of Defense Technology | Conference website ↗Checked 2026-09-13 |
| Chih-Hong ChengIdentity not yet linked | Member | Carl von Ossietzky Universität Oldenburg & Chalmers University of Technology Carl von Ossietzky Universität Oldenburg · Chalmers University of Technology | Conference website ↗Checked 2026-09-13 |
| Coen De RooverIdentity not yet linked | Member | Vrije Universiteit Brussel | Conference website ↗Checked 2026-09-13 |
| Gidon ErnstIdentity not yet linked | Member | LMU Munich | Conference website ↗Checked 2026-09-13 |
| Grigory FedyukovichIdentity not yet linked | Member | Florida State University | Conference website ↗Checked 2026-09-13 |
| Vijay GaneshIdentity not yet linked | Member | Georgia Tech | Conference website ↗Checked 2026-09-13 |
| Roberto Giacobazzi | Member | University of Arizona | Conference website ↗Checked 2026-09-13 |
| Simon GuilloudIdentity not yet linked | Member | EPFL | Conference website ↗Checked 2026-09-13 |
| Chih-Duo HongIdentity not yet linked | Member | National Chengchi University | Conference website ↗Checked 2026-09-13 |
| Jan KofroňIdentity not yet linked | Member | Charles University | Conference website ↗Checked 2026-09-13 |
| Alfons LaarmanIdentity not yet linked | Member | Leiden University | Conference website ↗Checked 2026-09-13 |
| Nian-Ze LeeIdentity not yet linked | Member | National Taiwan University, Taiwan | Conference website ↗Checked 2026-09-13 |
| Matthieu Lemerre | Member | Université Paris-Saclay - CEA List | Conference website ↗Checked 2026-09-13 |
| Jérôme LerouxIdentity not yet linked | Member | LaBRI, Univ. Bordeaux, CNRS, Bordeaux INP, Talence, France Laboratoire Bordelais de Recherche en Informatique · Univ. Bordeaux · CNRS · Institut Polytechnique de Bordeaux | Conference website ↗Checked 2026-09-13 |
| Jyun-Ao Lin | Member | National Taipei University of Technology | Conference website ↗Checked 2026-09-13 |
| Isabella MastroeniIdentity not yet linked | Member | University of Verona | Conference website ↗Checked 2026-09-13 |
| Antoine Miné | Member | Sorbonne Université | Conference website ↗Checked 2026-09-13 |
| Alexandre MoineIdentity not yet linked | Member | New York University | Conference website ↗Checked 2026-09-13 |
| Benoît Montagu | Member | Inria | Conference website ↗Checked 2026-09-13 |
| Jorge A. NavasIdentity not yet linked | Member | Certora | Conference website ↗Checked 2026-09-13 |
| Luca NegriniIdentity not yet linked | Member | Ca’ Foscari University of Venice | Conference website ↗Checked 2026-09-13 |
| Jakob PiribauerIdentity not yet linked | Member | TU Dresden | Conference website ↗Checked 2026-09-13 |
| Adrien PommelletIdentity not yet linked | Member | EPITA / LRE École Pour l'Informatique et les Techniques Avancées · LRE | Conference website ↗Checked 2026-09-13 |
| Francesco Ranzato | Member | University of Padova | Conference website ↗Checked 2026-09-13 |
| Stephen F. SiegelIdentity not yet linked | Member | University of Delaware | Conference website ↗Checked 2026-09-13 |
| Mihaela SighireanuIdentity not yet linked | Member | University Paris-Saclay, ENS Paris-Saclay, CNRS, LMF University Paris Saclay · ENS Paris-Saclay, CNRS · LMF | Conference website ↗Checked 2026-09-13 |
| Julien SignolesIdentity not yet linked | Member | Université Paris-Saclay, CEA, List Université Paris-Saclay · Laboratoire d'Intégration des Systèmes et des Technologies | Conference website ↗Checked 2026-09-13 |
| Marielle StoelingaIdentity not yet linked | Member | University of Twente and Radboud University, Nijmegen University of Twente · Radboud University Nijmegen | Conference website ↗Checked 2026-09-13 |
| Kohei SuenagaIdentity not yet linked | Member | Graduate School of Informatics, Kyoto University Graduate School of Informatics · Kyoto University | Conference website ↗Checked 2026-09-13 |
| Tom van DijkIdentity not yet linked | Member | University of Twente | Conference website ↗Checked 2026-09-13 |
| Masaki WagaIdentity not yet linked | Member | Kyoto University | Conference website ↗Checked 2026-09-13 |
| Kazuki WatanabeIdentity not yet linked | Member | National Institute of Informatics; SOKENDAI National Institute of Informatics · The Graduate University for Advanced Studies, SOKENDAI | Conference website ↗Checked 2026-09-13 |
| Thomas Wies | Member | New York University | Conference website ↗Checked 2026-09-13 |
| Enea ZaffanellaIdentity not yet linked | Member | University of Parma | Conference website ↗Checked 2026-09-13 |
| Li ZhouIdentity not yet linked | Member | Institute of Software at Chinese Academy of Sciences | Conference website ↗Checked 2026-09-13 |