[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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://urldefense.com/v3/__https://spin-web.github.io/SPIN2026/cfp__;!!IBzWLUs!Sf6adkvIGy-Y7j6JhqQl6AeNPtp_MwtpejvzsH1gt3XHcCttCRQjdRjFM4jk1naPM6SAnBwn2sJhC9VzLP8amRO9_EVQbmsSTMRFbMI$
<https://urldefense.com/v3/__https://spin-web.github.io/SPIN2026/cfp__;!!IBzWLUs!Sf6adkvIGy-Y7j6JhqQl6AeNPtp_MwtpejvzsH1gt3XHcCttCRQjdRjFM4jk1naPM6SAnBwn2sJhC9VzLP8amRO9_EVQbmsSTMRFbMI$
>
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://urldefense.com/v3/__https://easychair.org/conferences/?conf=spin2026__;!!IBzWLUs!Sf6adkvIGy-Y7j6JhqQl6AeNPtp_MwtpejvzsH1gt3XHcCttCRQjdRjFM4jk1naPM6SAnBwn2sJhC9VzLP8amRO9_EVQbmsS1Yhp9os$
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://urldefense.com/v3/__https://spin-web.github.io/SPIN2026/__;!!IBzWLUs!Sf6adkvIGy-Y7j6JhqQl6AeNPtp_MwtpejvzsH1gt3XHcCttCRQjdRjFM4jk1naPM6SAnBwn2sJhC9VzLP8amRO9_EVQbmsSocYiIMY$
<https://urldefense.com/v3/__https://spin-web.github.io/SPIN2026/__;!!IBzWLUs!Sf6adkvIGy-Y7j6JhqQl6AeNPtp_MwtpejvzsH1gt3XHcCttCRQjdRjFM4jk1naPM6SAnBwn2sJhC9VzLP8amRO9_EVQbmsSocYiIMY$
>
or contact the SPIN 2026 PC chairs:
Vincenzo Ciancia <[email protected]>
Arnd Hartmanns <[email protected]>
Committees
Program Chairs
Vincenzo Ciancia
<https://urldefense.com/v3/__https://vincenzoml.github.io/__;!!IBzWLUs!Sf6adkvIGy-Y7j6JhqQl6AeNPtp_MwtpejvzsH1gt3XHcCttCRQjdRjFM4jk1naPM6SAnBwn2sJhC9VzLP8amRO9_EVQbmsSuhsnWIo$
>(National Research Council, Institute of Information Science and Technologies
“Alessandro Faedo”, Pisa, Italy)Arnd Hartmanns
<https://urldefense.com/v3/__https://arnd.hartmanns.name/__;!!IBzWLUs!Sf6adkvIGy-Y7j6JhqQl6AeNPtp_MwtpejvzsH1gt3XHcCttCRQjdRjFM4jk1naPM6SAnBwn2sJhC9VzLP8amRO9_EVQbmsS4iCP5gg$
>(Universiteit Twente, The Netherlands)
Artifact Evaluation Chairs
Laura Bussi (University of Amsterdam, The Netherlands)
Nian-Ze Lee (National Taiwan University, Taiwan)
Program Committee
Jiri Barnat (Masaryk University)
Carlos E. Budde (Technical University of Denmark)
Pablo Castro (Universidad Nacional de Rio Cuarto, Argentina)
Vincenzo Ciancia (Consiglio Nazionale delle Ricerche, Pisa, ITALY)
Nancy Day (University of Waterloo)
Gidon Ernst (Ludwig Maximilian University of Munich)
Yliès Falcone (Univ. Grenoble Alpes, CNRS, Inria, Grenoble, France)
Ansgar Fehnker (Macquarie University)
Jan Friso Groote (Eindhoven University of Technology)
Arnd Hartmanns (University of Twente)
Daisuke Ishii (Japan Advanced Institute of Science and Technology)
Alfons Laarman (Leiden University)
Stefan Leue (University of Konstanz, Department of Computer and Information
Science)
Eric Mercer (Brigham Young University)
Kristin Yvonne Rozier (Iowa State University)
Cristina Seceleanu (Mälardalen University)
Martin Tappler (TU Wien)
Emilio Tuosto (Gran Sasso Science Institute, IT) |
Franck van Breugel (York University)
Vesal Vojdani (University of Tartu)
Miaomiao Zhang (tongji university)
Zhen Zhang (Utah State University)
