* STARS 2026 *
1st workshop on STAtic + Runtime verification Synergies
23/24 November 2026 - Satellite event of SEFM 2026, Malta
https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fstars-workshop.github.io%2F&data=05%7C02%7Cfm-announcements%40lists.nasa.gov%7C42a957e45f264e63851408decdd287e4%7C7005d45845be48ae8140d43da96dd17b%7C0%7C0%7C639174501311157095%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C0%7C%7C%7C&sdata=VSe%2FHLXV826UW1o8FmR9137qzzS%2BRQGQNH3LQ%2FcRZFE%3D&reserved=0
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 (see below) or visit
https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fstars-workshop.github.io%2F&data=05%7C02%7Cfm-announcements%40lists.nasa.gov%7C42a957e45f264e63851408decdd287e4%7C7005d45845be48ae8140d43da96dd17b%7C0%7C0%7C639174501311182061%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C0%7C%7C%7C&sdata=894wFzzgqWjPXzD48c4HWj%2BWq8i3Uj%2Bbq7PUvN0%2Ba7o%3D&reserved=0
* 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
================
* Nobuko Yoshida - University of Oxford, UK
* Roland Kuhn - RKSW UG, Germany
ORGANISERS
==========
* Alceste Scalas - Technical University of Denmark ([email protected])
* Adrian Francalanza - University of Malta ([email protected])
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 the organisers above.
--
Alceste Scalas <[email protected]> -
https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fpeople.compute.dtu.dk%2Falcsc&data=05%7C02%7Cfm-announcements%40lists.nasa.gov%7C42a957e45f264e63851408decdd287e4%7C7005d45845be48ae8140d43da96dd17b%7C0%7C0%7C639174501311203203%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C0%7C%7C%7C&sdata=neMXJvZTLj6X3ifBjFzGyUxifz4mm1ode0jNNKIwHoY%3D&reserved=0
Associate Professor @ DTU Compute - Section for Software Systems Engineering
Technical University of Denmark
Building 321, Room 010
2800 Kgs. Lyngby
---
To opt-out from this mailing list, send an email to
[email protected]
with the word 'unsubscribe' as subject or in the body. You can also make the request by contacting
[email protected]
_______________________________________________
hol-info mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/hol-info
