[Event at CIG] [fm-announcements] CfP: STARS - STAtic+Runtime verification Synergies @ SEFM 2026

[Alceste Scalas via fm-announcements]

* 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 (alcsc at dtu.dk)
* Adrian Francalanza - University of Malta (adrian.francalanza at 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 the organisers above.

-- 
Alceste Scalas <alcsc at dtu.dk> - 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 

fm-announcements-request at lists.nasa.gov 

with the word 'unsubscribe' as subject or in the body. You can also make the request by contacting 

fm-announcements-owner at lists.nasa.gov