[DL] Second CfP: SPIN 2026 - Deadline: January 22 (Torino, Italy, Colocated with ETAPS)

[Vincenzo Ciancia]

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 <vincenzo.ciancia at isti.cnr.it>
Arnd Hartmanns <a.hartmanns at utwente.nl>


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)

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.zih.tu-dresden.de/pipermail/dl/attachments/20260109/294d921c/attachment-0001.htm>