STARS 2026 is new a forum for researchers interested in exploring and advancing the integration of static and runtime verification techniques.

HIGHLIGHTS AND IMPORTANT DATES (anywhere on Earth)
==================================================

STARS 2026 welcomes the submission of both talk proposals and full papers. If
accepted, the full papers will be published in the post-proceedings (Springer
LMCS, to be confirmed). We are also planning a later journal special issue
(quite likely, on Elsevier JLAMP). For further details, feel free to contact the
organisers (stars2026@easychair.org) or visit https://stars-workshop.github.io/

Submission link: https://easychair.org/conferences/?conf=stars2026

* 3 September 2026: Abstracts for full papers
* 8 September 2026: Full papers
* 15 September 2026: Talk proposals
* 7 October 2026: Author notifications

TOPICS
======

Static and runtime verification are extremely successful approaches to software
correctness. On the one hand, static verification requires access to program
code and guarantees the absence of bugs, but may produce false positives. On the
other hand, runtime verification can work without program code access and can be
tailored to only report real bugs, but cannot find latent bugs before execution.
The two approaches can complement each other -- e.g., in heterogeneous systems
where some components cannot be statically analysed, but may be monitored. Some
combinations of static and runtime verification are already widely studied
(e.g., gradual typing), but the broader design space is rich and worth deeper
exploration.

STARS 2026 welcomes talk proposals and papers on theoretical and practical
approaches that combine static and runtime verification, including but not
limited to:

* Program analysis and verification
* Monitor synthesis
* Gradual typing
* Instrumentation techniques
* System adaptation, including shields, gateways, and interceptors
* Correct-by-construction techniques such as controlled system synthesis and
supervisory control
* Fault detection, isolation, recovery, and repair
* Correctness specification and specification mining
* Applications to security and the Internet of Things
* Surveys, retrospective studies, position papers, benchmarking studies,
empirical evaluations, and tool papers related to the above

INVITED SPEAKERS
================

* Davide Ancona - DIBRIS, University of Genova, Italy
* Nobuko Yoshida - University of Oxford, UK
* Roland Kuhn - RKSW UG, Germany

ORGANISERS
==========

* Alceste Scalas - Technical University of Denmark (alcsc@dtu.dk)
* Adrian Francalanza - University of Malta (adrian.francalanza@um.edu.mt)

PROGRAMME COMMITTEE
===================

* Elli Anastasiadi - Aalborg University, Denmark
* Giorgio Audrito - Università di Torino, Italy
* Laura Bocchi - University of Kent, UK
* Raymond Hu - Queen Mary University of London, UK
* Roland Kuhn - RKSW UG, Germany
* Stefan Marr - Johannes Kepler University Linz, Austria
* Stefan K. Muller - University of Connecticut, USA
* Sung-Shik Jongmans - University of Groningen, Netherlands

For inquiries, please contact: stars2026@easychair.org