
<html><head><meta http-equiv="content-type" content="text/html; charset=utf-8"></head><body style="overflow-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div><span id="docs-internal-guid-07744ce7-7fff-1ce8-7a35-bc98407dd3bb"><h2 dir="ltr" style="line-height: 1.38; background-color: rgb(255, 255, 255); margin-top: 15pt; margin-bottom: 0pt; padding: 0pt 0pt 15pt;"><span style="font-size: 23pt; font-family: Arial, sans-serif; color: rgb(51, 60, 139); font-weight: 400; font-variant-ligatures: normal; font-variant-alternates: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;">SPIN 2026: The 32nd International Symposium on Model Checking Software</span></h2><h2 dir="ltr" style="line-height: 1.38; background-color: rgb(255, 255, 255); margin-top: 0pt; margin-bottom: 0pt; padding: 0pt 0pt 15pt;"><span style="font-size: 21.5pt; font-family: Arial, sans-serif; color: rgb(44, 62, 80); font-weight: 400; font-variant-ligatures: normal; font-variant-alternates: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;">April 15\u201316, 2026, co-located with ETAPS 2026 in Torino, Italy</span></h2><br><p dir="ltr" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span style="font-size: 15pt; font-family: Arial, sans-serif; font-weight: 700; font-variant-ligatures: normal; font-variant-alternates: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;">Second Call for Papers</span></p><br><p dir="ltr" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><a href="https://spin-web.github.io/SPIN2026/cfp" style="text-decoration: none;"><span style="font-size: 11pt; font-family: Arial, sans-serif; color: rgb(17, 85, 204); font-variant-ligatures: normal; font-variant-alternates: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: underline; text-decoration-skip-ink: none; vertical-align: baseline; white-space: pre-wrap;">https://spin-web.github.io/SPIN2026/cfp</span></a><span style="font-size: 11pt; font-family: Arial, sans-serif; font-variant-ligatures: normal; font-variant-alternates: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;"> </span></p><br><p dir="ltr" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span style="font-size: 11pt; font-family: Arial, sans-serif; font-variant-ligatures: normal; font-variant-alternates: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;">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.</span></p><br><p dir="ltr" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span style="font-size: 11pt; font-family: Arial, sans-serif; font-weight: 700; font-variant-ligatures: normal; font-variant-alternates: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;">Important Dates</span></p><br><p dir="ltr" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span style="font-size: 11pt; font-family: Arial, sans-serif; font-variant-ligatures: normal; font-variant-alternates: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;">January 15, 2026: Abstract submission deadline</span></p><p dir="ltr" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span style="font-size: 11pt; font-family: Arial, sans-serif; font-variant-ligatures: normal; font-variant-alternates: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;"><b>January 22, 2026: Paper submission deadline</b></span></p><p dir="ltr" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span style="font-size: 11pt; font-family: Arial, sans-serif; font-variant-ligatures: normal; font-variant-alternates: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;"><b><br></b></span></p><p dir="ltr" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span style="font-size: 11pt; font-family: Arial, sans-serif; font-variant-ligatures: normal; font-variant-alternates: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;">January 29, 2026: Artifact submission deadline for tool-related papers (mandatory)</span></p><p dir="ltr" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span style="font-size: 11pt; font-family: Arial, sans-serif; font-variant-ligatures: normal; font-variant-alternates: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;">March 05, 2026: Notification of acceptance (all papers & tool-related artifacts)</span></p><p dir="ltr" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span style="font-size: 11pt; font-family: Arial, sans-serif; font-variant-ligatures: normal; font-variant-alternates: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;">March 16, 2026: Artifact submission deadline for accepted non-tool papers (voluntary)</span></p><p dir="ltr" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span style="font-size: 11pt; font-family: Arial, sans-serif; font-variant-ligatures: normal; font-variant-alternates: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;">April 09, 2026: Notification of acceptance for additional artifacts</span></p><p dir="ltr" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span style="font-size: 11pt; font-family: Arial, sans-serif; font-variant-ligatures: normal; font-variant-alternates: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;"><br></span></p><p dir="ltr" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span style="font-size: 11pt; font-family: Arial, sans-serif; font-variant-ligatures: normal; font-variant-alternates: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;">April 15-16, 2026: SPIN 2026 Symposium in Torino</span></p><br><p dir="ltr" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span style="font-size: 11pt; font-family: Arial, sans-serif; font-weight: 700; font-variant-ligatures: normal; font-variant-alternates: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;">Papers and proceedings</span><span style="font-size: 11pt; font-family: Arial, sans-serif; font-variant-ligatures: normal; font-variant-alternates: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;"> </span></p><p dir="ltr" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span style="font-size: 11pt; font-family: Arial, sans-serif; font-variant-ligatures: normal; font-variant-alternates: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;">Papers should be submitted via the EasyChair SPIN 2026 submission website at</span></p><p dir="ltr" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span style="font-size: 11pt; font-family: Arial, sans-serif; font-variant-ligatures: normal; font-variant-alternates: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;">https://easychair.org/conferences/?conf=spin2026</span></p><p dir="ltr" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span style="font-size: 11pt; font-family: Arial, sans-serif; font-variant-ligatures: normal; font-variant-alternates: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;">Submissions should adhere to Springer's LNCS format.</span></p><br><p dir="ltr" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span style="font-size: 11pt; font-family: Arial, sans-serif; font-variant-ligatures: normal; font-variant-alternates: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;">The proceedings will be published in Springer\u2019s Lecture Notes in Computer Science.</span></p><br><p dir="ltr" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span style="font-size: 11pt; font-family: Arial, sans-serif; font-variant-ligatures: normal; font-variant-alternates: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;">With the exception of survey and history papers, the papers should contain original work that has not been submitted or accepted for publication elsewhere.</span></p><br><p dir="ltr" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span style="font-size: 11pt; font-family: Arial, sans-serif; font-variant-ligatures: normal; font-variant-alternates: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;">We are soliciting three categories of papers:</span></p><p dir="ltr" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span style="font-size: 11pt; font-family: Arial, sans-serif; font-variant-ligatures: normal; font-variant-alternates: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;">* Full Research Papers (16 pages, excluding bibliography and appendices);</span></p><p dir="ltr" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span style="font-size: 11pt; font-family: Arial, sans-serif; font-variant-ligatures: normal; font-variant-alternates: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;">* 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</span></p><p dir="ltr" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span style="font-size: 11pt; font-family: Arial, sans-serif; font-variant-ligatures: normal; font-variant-alternates: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;">* Short Papers (6 pages, excluding bibliography and appendices).</span></p><br><p dir="ltr" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span style="font-size: 11pt; font-family: Arial, sans-serif; font-variant-ligatures: normal; font-variant-alternates: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;">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.</span></p><br><p dir="ltr" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span style="font-size: 11pt; font-family: Arial, sans-serif; font-variant-ligatures: normal; font-variant-alternates: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;">For more details, see the SPIN 2026 website at</span></p><br><p dir="ltr" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><a href="https://spin-web.github.io/SPIN2026/" style="text-decoration: none;"><span style="font-size: 11pt; font-family: Arial, sans-serif; color: rgb(17, 85, 204); font-variant-ligatures: normal; font-variant-alternates: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: underline; text-decoration-skip-ink: none; vertical-align: baseline; white-space: pre-wrap;">https://spin-web.github.io/SPIN2026/</span></a><span style="font-size: 11pt; font-family: Arial, sans-serif; font-variant-ligatures: normal; font-variant-alternates: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;"> </span></p><br><p dir="ltr" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span style="font-size: 11pt; font-family: Arial, sans-serif; font-variant-ligatures: normal; font-variant-alternates: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;">or contact the SPIN 2026 PC chairs:</span></p><br><p dir="ltr" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span style="font-size: 11pt; font-family: Arial, sans-serif; font-variant-ligatures: normal; font-variant-alternates: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;">Vincenzo Ciancia <vincenzo.ciancia@isti.cnr.it></span></p><p dir="ltr" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span style="font-size: 11pt; font-family: Arial, sans-serif; font-variant-ligatures: normal; font-variant-alternates: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;">Arnd Hartmanns <a.hartmanns@utwente.nl></span></p><br><br><h1 dir="ltr" style="line-height: 1.38; background-color: rgb(255, 255, 255); margin-top: 0pt; margin-bottom: 0pt;"><span style="font-size: 23pt; font-family: Arial, sans-serif; color: rgb(51, 60, 139); font-weight: 400; font-variant-ligatures: normal; font-variant-alternates: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;">Committees</span></h1><h2 dir="ltr" style="line-height: 1.38; background-color: rgb(255, 255, 255); margin-top: 0pt; margin-bottom: 0pt; padding: 15pt 0pt;"><span style="font-size: 21.5pt; font-family: Arial, sans-serif; color: rgb(44, 62, 80); font-weight: 400; font-variant-ligatures: normal; font-variant-alternates: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;">Program Chairs</span></h2><p dir="ltr" style="line-height: 1.38; background-color: rgb(255, 255, 255); margin-top: 0pt; margin-bottom: 0pt; padding: 0pt 0pt 15pt;"><a href="https://vincenzoml.github.io/" style="text-decoration: none;"><span style="font-size: 10.5pt; font-family: Arial, sans-serif; color: rgb(255, 107, 107); font-variant-ligatures: normal; font-variant-alternates: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;">Vincenzo Ciancia</span></a><span style="font-size: 10.5pt; font-family: Arial, sans-serif; color: rgb(51, 51, 51); font-variant-ligatures: normal; font-variant-alternates: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;"> (National Research Council, Institute of Information Science and Technologies \u201cAlessandro Faedo\u201d, Pisa, Italy)</span><span style="font-size: 10.5pt; font-family: Arial, sans-serif; color: rgb(255, 107, 107); font-variant-ligatures: normal; font-variant-alternates: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;"><br></span><a href="https://arnd.hartmanns.name/" style="text-decoration: none;"><span style="font-size: 10.5pt; font-family: Arial, sans-serif; color: rgb(255, 107, 107); font-variant-ligatures: normal; font-variant-alternates: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;">Arnd Hartmanns</span></a><span style="font-size: 10.5pt; font-family: Arial, sans-serif; color: rgb(51, 51, 51); font-variant-ligatures: normal; font-variant-alternates: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;"> (Universiteit Twente, The Netherlands)</span></p><h2 dir="ltr" style="line-height: 1.38; background-color: rgb(255, 255, 255); margin-top: 0pt; margin-bottom: 0pt; padding: 0pt 0pt 15pt;"><span style="font-size: 21.5pt; font-family: Arial, sans-serif; color: rgb(44, 62, 80); font-weight: 400; font-variant-ligatures: normal; font-variant-alternates: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;">Artifact Evaluation Chairs</span></h2><p dir="ltr" style="line-height: 1.38; background-color: rgb(255, 255, 255); margin-top: 0pt; margin-bottom: 0pt; padding: 0pt 0pt 15pt;"><a href="https://www.uva.nl/profiel/b/u/l.bussi/l.bussi.html" style="text-decoration: none;"><span style="font-size: 10.5pt; font-family: Arial, sans-serif; color: rgb(255, 107, 107); font-variant-ligatures: normal; font-variant-alternates: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;">Laura Bussi</span></a><span style="font-size: 10.5pt; font-family: Arial, sans-serif; color: rgb(51, 51, 51); font-variant-ligatures: normal; font-variant-alternates: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;"> (University of Amsterdam, The Netherlands)</span><span style="font-size: 10.5pt; font-family: Arial, sans-serif; color: rgb(51, 51, 51); font-variant-ligatures: normal; font-variant-alternates: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;"><br></span><a href="https://www.sosy-lab.org/people/lee/" style="text-decoration: none;"><span style="font-size: 10.5pt; font-family: Arial, sans-serif; color: rgb(255, 107, 107); font-variant-ligatures: normal; font-variant-alternates: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;">Nian-Ze Lee</span></a><span style="font-size: 10.5pt; font-family: Arial, sans-serif; color: rgb(51, 51, 51); font-variant-ligatures: normal; font-variant-alternates: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;"> (National Taiwan University, Taiwan)</span></p><p dir="ltr" style="line-height: 1.38; background-color: rgb(255, 255, 255); margin-top: 0pt; margin-bottom: 0pt; padding: 0pt 0pt 15pt;"><span style="font-size: 21.5pt; font-family: Arial, sans-serif; color: rgb(44, 62, 80); font-variant-ligatures: normal; font-variant-alternates: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;">Program Committee</span></p><p dir="ltr" style="line-height: 1.38; background-color: rgb(255, 255, 255); margin-top: 0pt; margin-bottom: 0pt; padding: 0pt 0pt 15pt;"><a href="https://www.muni.cz/en/people/3496-jiri-barnat" style="text-decoration: none;"><span style="font-size: 10.5pt; font-family: Arial, sans-serif; color: rgb(255, 107, 107); font-variant-ligatures: normal; font-variant-alternates: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;">Jiri Barnat</span></a><span style="font-size: 10.5pt; font-family: Arial, sans-serif; color: rgb(51, 51, 51); font-variant-ligatures: normal; font-variant-alternates: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;"> (Masaryk University)</span><span style="font-size: 10.5pt; font-family: Arial, sans-serif; color: rgb(51, 51, 51); font-variant-ligatures: normal; font-variant-alternates: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;"><br></span><a href="https://orbit.dtu.dk/en/persons/carlos-esteban-budde/" style="text-decoration: none;"><span style="font-size: 10.5pt; font-family: Arial, sans-serif; color: rgb(255, 107, 107); font-variant-ligatures: normal; font-variant-alternates: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;">Carlos E. Budde</span></a><span style="font-size: 10.5pt; font-family: Arial, sans-serif; color: rgb(51, 51, 51); font-variant-ligatures: normal; font-variant-alternates: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;"> (Technical University of Denmark)</span><span style="font-size: 10.5pt; font-family: Arial, sans-serif; color: rgb(51, 51, 51); font-variant-ligatures: normal; font-variant-alternates: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;"><br></span><a href="https://pablofcastro.github.io/" style="text-decoration: none;"><span style="font-size: 10.5pt; font-family: Arial, sans-serif; color: rgb(255, 107, 107); font-variant-ligatures: normal; font-variant-alternates: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;">Pablo Castro</span></a><span style="font-size: 10.5pt; font-family: Arial, sans-serif; color: rgb(51, 51, 51); font-variant-ligatures: normal; font-variant-alternates: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;"> (Universidad Nacional de Rio Cuarto, Argentina)</span><span style="font-size: 10.5pt; font-family: Arial, sans-serif; color: rgb(51, 51, 51); font-variant-ligatures: normal; font-variant-alternates: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;"><br></span><a href="https://vincenzoml.github.io/" style="text-decoration: none;"><span style="font-size: 10.5pt; font-family: Arial, sans-serif; color: rgb(255, 107, 107); font-variant-ligatures: normal; font-variant-alternates: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;">Vincenzo Ciancia</span></a><span style="font-size: 10.5pt; font-family: Arial, sans-serif; color: rgb(51, 51, 51); font-variant-ligatures: normal; font-variant-alternates: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;"> (Consiglio Nazionale delle Ricerche, Pisa, ITALY)</span><span style="font-size: 10.5pt; font-family: Arial, sans-serif; color: rgb(51, 51, 51); font-variant-ligatures: normal; font-variant-alternates: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;"><br></span><a href="https://cs.uwaterloo.ca/~nday/" style="text-decoration: none;"><span style="font-size: 10.5pt; font-family: Arial, sans-serif; color: rgb(255, 107, 107); font-variant-ligatures: normal; font-variant-alternates: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;">Nancy Day</span></a><span style="font-size: 10.5pt; font-family: Arial, sans-serif; color: rgb(51, 51, 51); font-variant-ligatures: normal; font-variant-alternates: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;"> (University of Waterloo)</span><span style="font-size: 10.5pt; font-family: Arial, sans-serif; color: rgb(51, 51, 51); font-variant-ligatures: normal; font-variant-alternates: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;"><br></span><a href="https://www.sosy-lab.org/people/ernst/" style="text-decoration: none;"><span style="font-size: 10.5pt; font-family: Arial, sans-serif; color: rgb(255, 107, 107); font-variant-ligatures: normal; font-variant-alternates: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;">Gidon Ernst</span></a><span style="font-size: 10.5pt; font-family: Arial, sans-serif; color: rgb(51, 51, 51); font-variant-ligatures: normal; font-variant-alternates: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;"> (Ludwig Maximilian University of Munich)</span><span style="font-size: 10.5pt; font-family: Arial, sans-serif; color: rgb(51, 51, 51); font-variant-ligatures: normal; font-variant-alternates: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;"><br></span><a href="https://yfalcone.github.io/" style="text-decoration: none;"><span style="font-size: 10.5pt; font-family: Arial, sans-serif; color: rgb(255, 107, 107); font-variant-ligatures: normal; font-variant-alternates: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;">Yli�s Falcone</span></a><span style="font-size: 10.5pt; font-family: Arial, sans-serif; color: rgb(51, 51, 51); font-variant-ligatures: normal; font-variant-alternates: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;"> (Univ. Grenoble Alpes, CNRS, Inria, Grenoble, France)</span><span style="font-size: 10.5pt; font-family: Arial, sans-serif; color: rgb(51, 51, 51); font-variant-ligatures: normal; font-variant-alternates: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;"><br></span><a href="https://researchers.mq.edu.au/en/persons/ansgar-fehnker/" style="text-decoration: none;"><span style="font-size: 10.5pt; font-family: Arial, sans-serif; color: rgb(255, 107, 107); font-variant-ligatures: normal; font-variant-alternates: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;">Ansgar Fehnker</span></a><span style="font-size: 10.5pt; font-family: Arial, sans-serif; color: rgb(51, 51, 51); font-variant-ligatures: normal; font-variant-alternates: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;"> (Macquarie University)</span><span style="font-size: 10.5pt; font-family: Arial, sans-serif; color: rgb(51, 51, 51); font-variant-ligatures: normal; font-variant-alternates: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;"><br></span><a href="https://www.tue.nl/en/research/researchers/jan-friso-groote" style="text-decoration: none;"><span style="font-size: 10.5pt; font-family: Arial, sans-serif; color: rgb(255, 107, 107); font-variant-ligatures: normal; font-variant-alternates: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;">Jan Friso Groote</span></a><span style="font-size: 10.5pt; font-family: Arial, sans-serif; color: rgb(51, 51, 51); font-variant-ligatures: normal; font-variant-alternates: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;"> (Eindhoven University of Technology)</span><span style="font-size: 10.5pt; font-family: Arial, sans-serif; color: rgb(51, 51, 51); font-variant-ligatures: normal; font-variant-alternates: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;"><br></span><a href="https://arnd.hartmanns.name/" style="text-decoration: none;"><span style="font-size: 10.5pt; font-family: Arial, sans-serif; color: rgb(255, 107, 107); font-variant-ligatures: normal; font-variant-alternates: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;">Arnd Hartmanns</span></a><span style="font-size: 10.5pt; font-family: Arial, sans-serif; color: rgb(51, 51, 51); font-variant-ligatures: normal; font-variant-alternates: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;"> (University of Twente)</span><span style="font-size: 10.5pt; font-family: Arial, sans-serif; color: rgb(51, 51, 51); font-variant-ligatures: normal; font-variant-alternates: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;"><br></span><a href="https://scholar.google.com/citations?user=ek1hj9wAAAAJ&hl=en" style="text-decoration: none;"><span style="font-size: 10.5pt; font-family: Arial, sans-serif; color: rgb(255, 107, 107); font-variant-ligatures: normal; font-variant-alternates: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;">Daisuke Ishii</span></a><span style="font-size: 10.5pt; font-family: Arial, sans-serif; color: rgb(51, 51, 51); font-variant-ligatures: normal; font-variant-alternates: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;"> (Japan Advanced Institute of Science and Technology)</span><span style="font-size: 10.5pt; font-family: Arial, sans-serif; color: rgb(51, 51, 51); font-variant-ligatures: normal; font-variant-alternates: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;"><br></span><a href="https://www.universiteitleiden.nl/en/staffmembers/alfons-laarman" style="text-decoration: none;"><span style="font-size: 10.5pt; font-family: Arial, sans-serif; color: rgb(255, 107, 107); font-variant-ligatures: normal; font-variant-alternates: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;">Alfons Laarman</span></a><span style="font-size: 10.5pt; font-family: Arial, sans-serif; color: rgb(51, 51, 51); font-variant-ligatures: normal; font-variant-alternates: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;"> (Leiden University)</span><span style="font-size: 10.5pt; font-family: Arial, sans-serif; color: rgb(51, 51, 51); font-variant-ligatures: normal; font-variant-alternates: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;"><br></span><a href="http://sen.uni-konstanz.de/members/leue" style="text-decoration: none;"><span style="font-size: 10.5pt; font-family: Arial, sans-serif; color: rgb(255, 107, 107); font-variant-ligatures: normal; font-variant-alternates: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;">Stefan Leue</span></a><span style="font-size: 10.5pt; font-family: Arial, sans-serif; color: rgb(51, 51, 51); font-variant-ligatures: normal; font-variant-alternates: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;"> (University of Konstanz, Department of Computer and Information Science)</span><span style="font-size: 10.5pt; font-family: Arial, sans-serif; color: rgb(51, 51, 51); font-variant-ligatures: normal; font-variant-alternates: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;"><br></span><a href="https://cs.byu.edu/department/directories/faculty-directory/eric-mercer/" style="text-decoration: none;"><span style="font-size: 10.5pt; font-family: Arial, sans-serif; color: rgb(255, 107, 107); font-variant-ligatures: normal; font-variant-alternates: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;">Eric Mercer</span></a><span style="font-size: 10.5pt; font-family: Arial, sans-serif; color: rgb(51, 51, 51); font-variant-ligatures: normal; font-variant-alternates: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;"> (Brigham Young University)</span><span style="font-size: 10.5pt; font-family: Arial, sans-serif; color: rgb(51, 51, 51); font-variant-ligatures: normal; font-variant-alternates: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;"><br></span><a href="https://faculty.sites.iastate.edu/kyrozier/" style="text-decoration: none;"><span style="font-size: 10.5pt; font-family: Arial, sans-serif; color: rgb(255, 107, 107); font-variant-ligatures: normal; font-variant-alternates: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;">Kristin Yvonne Rozier</span></a><span style="font-size: 10.5pt; font-family: Arial, sans-serif; color: rgb(51, 51, 51); font-variant-ligatures: normal; font-variant-alternates: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;"> (Iowa State University)</span><span style="font-size: 10.5pt; font-family: Arial, sans-serif; color: rgb(51, 51, 51); font-variant-ligatures: normal; font-variant-alternates: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;"><br></span><a href="http://www.es.mdh.se/staff/173-Cristina_Seceleanu" style="text-decoration: none;"><span style="font-size: 10.5pt; font-family: Arial, sans-serif; color: rgb(255, 107, 107); font-variant-ligatures: normal; font-variant-alternates: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;">Cristina Seceleanu</span></a><span style="font-size: 10.5pt; font-family: Arial, sans-serif; color: rgb(51, 51, 51); font-variant-ligatures: normal; font-variant-alternates: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;"> (M�lardalen University)</span><span style="font-size: 10.5pt; font-family: Arial, sans-serif; color: rgb(51, 51, 51); font-variant-ligatures: normal; font-variant-alternates: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;"><br></span><a href="https://informatics.tuwien.ac.at/people/martin-tappler" style="text-decoration: none;"><span style="font-size: 10.5pt; font-family: Arial, sans-serif; color: rgb(255, 107, 107); font-variant-ligatures: normal; font-variant-alternates: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;">Martin Tappler</span></a><span style="font-size: 10.5pt; font-family: Arial, sans-serif; color: rgb(51, 51, 51); font-variant-ligatures: normal; font-variant-alternates: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;"> (TU Wien)</span><span style="font-size: 10.5pt; font-family: Arial, sans-serif; color: rgb(51, 51, 51); font-variant-ligatures: normal; font-variant-alternates: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;"><br></span><a href="https://www.gssi.it/people/professors/lectures-computer-science/item/6408-tuosto-emilio" style="text-decoration: none;"><span style="font-size: 10.5pt; font-family: Arial, sans-serif; color: rgb(255, 107, 107); font-variant-ligatures: normal; font-variant-alternates: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;">Emilio Tuosto</span></a><span style="font-size: 10.5pt; font-family: Arial, sans-serif; color: rgb(51, 51, 51); font-variant-ligatures: normal; font-variant-alternates: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;"> (Gran Sasso Science Institute, IT) |</span><span style="font-size: 10.5pt; font-family: Arial, sans-serif; color: rgb(51, 51, 51); font-variant-ligatures: normal; font-variant-alternates: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;"><br></span><a href="http://www.cse.yorku.ca/~franck/" style="text-decoration: none;"><span style="font-size: 10.5pt; font-family: Arial, sans-serif; color: rgb(255, 107, 107); font-variant-ligatures: normal; font-variant-alternates: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;">Franck van Breugel</span></a><span style="font-size: 10.5pt; font-family: Arial, sans-serif; color: rgb(51, 51, 51); font-variant-ligatures: normal; font-variant-alternates: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;"> (York University)</span><span style="font-size: 10.5pt; font-family: Arial, sans-serif; color: rgb(51, 51, 51); font-variant-ligatures: normal; font-variant-alternates: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;"><br></span><a href="https://ut.ee/~vesal" style="text-decoration: none;"><span style="font-size: 10.5pt; font-family: Arial, sans-serif; color: rgb(255, 107, 107); font-variant-ligatures: normal; font-variant-alternates: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;">Vesal Vojdani</span></a><span style="font-size: 10.5pt; font-family: Arial, sans-serif; color: rgb(51, 51, 51); font-variant-ligatures: normal; font-variant-alternates: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;"> (University of Tartu)</span><span style="font-size: 10.5pt; font-family: Arial, sans-serif; color: rgb(51, 51, 51); font-variant-ligatures: normal; font-variant-alternates: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;"><br></span><a href="https://conf.researchr.org/profile/VMCAI-2026/miaomiaozhang" style="text-decoration: none;"><span style="font-size: 10.5pt; font-family: Arial, sans-serif; color: rgb(255, 107, 107); font-variant-ligatures: normal; font-variant-alternates: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;">Miaomiao Zhang</span></a><span style="font-size: 10.5pt; font-family: Arial, sans-serif; color: rgb(51, 51, 51); font-variant-ligatures: normal; font-variant-alternates: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;"> (tongji university)</span><span style="font-size: 10.5pt; font-family: Arial, sans-serif; color: rgb(51, 51, 51); font-variant-ligatures: normal; font-variant-alternates: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;"><br></span><a href="https://engineering.usu.edu/ece/people/faculty/zhang-zhen" style="text-decoration: none;"><span style="font-size: 10.5pt; font-family: Arial, sans-serif; color: rgb(255, 107, 107); font-variant-ligatures: normal; font-variant-alternates: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;">Zhen Zhang</span></a><span style="font-size: 10.5pt; font-family: Arial, sans-serif; color: rgb(51, 51, 51); font-variant-ligatures: normal; font-variant-alternates: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;"> (Utah State University)</span></p><br></span></div></body></html>