STARS 2026

Call for Papers and Talk Proposals (CLOSED)

STARS will publish joint post-proceedings on Springer Lecture Notes in Computer Science (LNCS) together with the other workshops at SEFM 2026. We are also planning a later journal special issue – quite likely, on Elsevier's Journal of Logical and Algebraic Methods in Programming.

STARS welcomes two categories of submission:

• Talk proposals that, if accepted, will be presented at the workshop and later listed in the post-proceedings (but this will not constitute a formal publication). Talk proposal can be about new research, preliminary results, experience reports, as well as papers already published elsewhere.
• Full papers that, if accepted, will be presented at the workshop and later published in the post-proceedings. This category includes novel research results, tool papers, case studies, practical experience reports, etc. Full papers can be at most 15 pages long (not including references) and must not have been already published, nor can they be concurrently submitted for publication elsewhere. Full papers can include clearly marked supplementary materials (e.g., appendices) above the page limit, but the reviewers are not required to read them. To format your submission, you can use any single-column style broadly similar to LNCS; if accepted, the paper will later need to be formatted with the appropriate style for the planned post-proceedings.

Please submit your talk proposals or full papers here:

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

The submission deadlines are (anywhere on Earth):

• 8 September 2026: full papers
• 15 September 2026: talk proposals

The author notifications will be on 7 October 2026.