SPIN 2026: The 32nd International Symposium on Model Checking Software April 15–16, 2026, co-located with ETAPS 2026 in Torino, Italy
Second Call for Papers https://spin-web.github.io/SPIN2026/cfp The SPIN symposium aims at bringing together researchers and practitioners interested in automated tool-based techniques for the analysis of software as well as models of software, for the purpose of verification and validation. SPIN is a broadly-scoped symposium for software analysis using any automated techniques, including model checking, automated theorem proving, and symbolic execution. Submissions are solicited on theoretical results, novel algorithms, tool development, and empirical evaluation. Important Dates January 15, 2026: Abstract submission deadline January 22, 2026: Paper submission deadline January 29, 2026: Artifact submission deadline for tool-related papers (mandatory) March 05, 2026: Notification of acceptance (all papers & tool-related artifacts) March 16, 2026: Artifact submission deadline for accepted non-tool papers (voluntary) April 09, 2026: Notification of acceptance for additional artifacts April 15-16, 2026: SPIN 2026 Symposium in Torino Papers and proceedings Papers should be submitted via the EasyChair SPIN 2026 submission website at https://easychair.org/conferences/?conf=spin2026 Submissions should adhere to Springer's LNCS format. The proceedings will be published in Springer’s Lecture Notes in Computer Science. With the exception of survey and history papers, the papers should contain original work that has not been submitted or accepted for publication elsewhere. We are soliciting three categories of papers: * Full Research Papers (16 pages, excluding bibliography and appendices); * Full Tool Papers (16 pages, excluding bibliography and appendices), accompanied by a mandatory artifact, with acceptance conditional on the accompanying artifact receiving at least the "Functional" badge in the artifact evaluation; and * Short Papers (6 pages, excluding bibliography and appendices). At least one author of each accepted paper must attend the symposium and present the paper. A Best Paper award will be announced and handed out at the conference. For more details, see the SPIN 2026 website at https://spin-web.github.io/SPIN2026/ or contact the SPIN 2026 PC chairs: Vincenzo Ciancia <[email protected]> Arnd Hartmanns <[email protected]> Committees Program Chairs Vincenzo Ciancia <https://vincenzoml.github.io/> (National Research Council, Institute of Information Science and Technologies “Alessandro Faedo”, Pisa, Italy) Arnd Hartmanns <https://arnd.hartmanns.name/> (Universiteit Twente, The Netherlands) Artifact Evaluation Chairs Laura Bussi <https://www.uva.nl/profiel/b/u/l.bussi/l.bussi.html> (University of Amsterdam, The Netherlands) Nian-Ze Lee <https://www.sosy-lab.org/people/lee/> (National Taiwan University, Taiwan) Program Committee Jiri Barnat <https://www.muni.cz/en/people/3496-jiri-barnat> (Masaryk University) Carlos E. Budde <https://orbit.dtu.dk/en/persons/carlos-esteban-budde/> (Technical University of Denmark) Pablo Castro <https://pablofcastro.github.io/> (Universidad Nacional de Rio Cuarto, Argentina) Vincenzo Ciancia <https://vincenzoml.github.io/> (Consiglio Nazionale delle Ricerche, Pisa, ITALY) Nancy Day <https://cs.uwaterloo.ca/~nday/> (University of Waterloo) Gidon Ernst <https://www.sosy-lab.org/people/ernst/> (Ludwig Maximilian University of Munich) Yliès Falcone <https://yfalcone.github.io/> (Univ. Grenoble Alpes, CNRS, Inria, Grenoble, France) Ansgar Fehnker <https://researchers.mq.edu.au/en/persons/ansgar-fehnker/> (Macquarie University) Jan Friso Groote <https://www.tue.nl/en/research/researchers/jan-friso-groote> (Eindhoven University of Technology) Arnd Hartmanns <https://arnd.hartmanns.name/> (University of Twente) Daisuke Ishii <https://scholar.google.com/citations?user=ek1hj9wAAAAJ&hl=en> (Japan Advanced Institute of Science and Technology) Alfons Laarman <https://www.universiteitleiden.nl/en/staffmembers/alfons-laarman> (Leiden University) Stefan Leue <http://sen.uni-konstanz.de/members/leue> (University of Konstanz, Department of Computer and Information Science) Eric Mercer <https://cs.byu.edu/department/directories/faculty-directory/eric-mercer/> (Brigham Young University) Kristin Yvonne Rozier <https://faculty.sites.iastate.edu/kyrozier/> (Iowa State University) Cristina Seceleanu <http://www.es.mdh.se/staff/173-Cristina_Seceleanu> (Mälardalen University) Martin Tappler <https://informatics.tuwien.ac.at/people/martin-tappler> (TU Wien) Emilio Tuosto <https://www.gssi.it/people/professors/lectures-computer-science/item/6408-tuosto-emilio> (Gran Sasso Science Institute, IT) | Franck van Breugel <http://www.cse.yorku.ca/~franck/> (York University) Vesal Vojdani <https://ut.ee/~vesal> (University of Tartu) Miaomiao Zhang <https://conf.researchr.org/profile/VMCAI-2026/miaomiaozhang> (tongji university) Zhen Zhang <https://engineering.usu.edu/ece/people/faculty/zhang-zhen> (Utah State University)
