From announce at ucy.ac.cy  Sun Jun 21 12:00:22 2026
From: announce at ucy.ac.cy (Announce)
Date: Sun, 21 Jun 2026 10:00:22 +0000
Subject: [Event@CIG] 37th IEEE International Symposium on Software
 Reliability Engineering (ISSRE 2026): Last Call for Replications and
 Negative Results
Message-ID: <2G45YZK5-4TB7-H13L-77YB-8E74FLQBTU6@ucy.ac.cy>

*** Last Call for Replication and Negative Results ***

37th IEEE International Symposium on Software Reliability Engineering
(ISSRE 2026)

October 20-23, 2026, 5* St. Raphael Resort and Marina
Limassol, Cyprus

https://cyprusconferences.org/issre2026/


The Replications and Negative Results (RENE) Track has been introduced in the software
engineering community for a while and received overwhelmingly positive feedback. This
year, we establish this track at ISSRE and invite researchers to (1) replicate results from
previous papers and (2) publish studies with important and relevant negative or null
results (results that fail to show an effect, yet demonstrate the research paths that did not
pay off).

We also encourage the publication of the negative results or replicable aspects of
previously published work. For example, authors of a published paper reporting a working
solution for a given problem can document in a ?negative results paper? other (failed)
attempts they made before defining the working solution they published.

? Replication studies. The papers in this category must go beyond simply re-
implementing an algorithm and/or re-running the artifacts provided by the original paper.
Such submissions should at least apply the approach to new data sets (open-source or
proprietary). A replication study should clearly report on results that the authors were
able to replicate, as well as on the aspects of the work that were not replicable.
? Negative results papers. We seek papers that report on negative results. We seek
negative results for all types of program comprehension research in any empirical area
(qualitative, quantitative, case study, experiment, etc.). For example, did your controlled
experiment not show an improvement over the baseline? Even if negative, results obtained
are still valuable when they are either not obvious or disprove widely accepted wisdom.


Evaluation Criteria

Both Replication Studies and Negative Results submissions will be evaluated according to
the following standards:
? Depth and breadth of the empirical studies
? Clarity of writing
? Appropriateness of conclusions
? Amount of useful, actionable insights
? Availability of artifacts
? Underlying methodological rigor. A negative result due primarily to misaligned
expectations or due to lack of statistical power (small samples) is not a good submission.
The negative result should be a result of a lack of effect, not a lack of methodological
rigor.

Most importantly, we expect replication studies to clearly point out the artifacts upon
which the study is built, and to provide the links to all the artifacts in the submission (the
only exception will be given to those papers that replicate the results on proprietary
datasets that can not be publicly released).


Submission Instructions

Submissions must be original, in the sense that the findings and writing have not been
previously published or under consideration elsewhere. However, as either replication
studies or negative results, some overlap with previous work is expected. Please make
clear in the paper the overlap with and difference from previous work.

All submissions must be in PDF format and conform, at time of submission, to the IEEE
Computer Society Format Guidelines:
(https://www.ieee.org/conferences/publishing/templates).

Authors are strongly encouraged to print the PDF and review it for integrity (fonts,
symbols, equations, etc.) before submission, as defective printing can undermine a
paper?s chance of success. By submitting to the ISSRE RENE Track, authors acknowledge
that they are aware of and agree to be bound by the IEEE Plagiarism FAQ. In particular,
papers submitted to the RENE track must not have been published elsewhere and must not
be under review or submitted for review elsewhere whilst under consideration for ISSRE
2026. Contravention of this concurrent submission policy will be deemed a serious breach
of scientific ethics, and appropriate action will be taken in all such cases. To check for
double submission and plagiarism issues, the chairs reserve the right to (1) share the list
of submissions with the PC Chairs of other conferences with overlapping review periods
and (2) use external plagiarism detection software, under contract to the IEEE, to detect
violations of these policies.

Submissions to the RENE Track can be made via the ISSRE RENE track submission site?
https://easychair.org/conferences?conf=issre2026 .


Submission Length: The ISSRE RENE Track accepts submissions of two lengths:

(1) New replication studies and new descriptions of negative results should have a length
of up to 10 pages, plus 2 pages which may only contain references.

(2) Negative results documented during the preparation of previously published work by
the authors should be described in up to 5 pages, plus 1 page, which may only contain
references (e.g., as previously mentioned, authors of a published paper can document
negative results they obtained while working on it, such as methodologically sound
solutions that did not work).

Important note 1: Both types of papers (replication and negative results) will be included
as part of the main conference proceedings.
Important note 2: The RENE track does not follow a double-anonymous review process.


Publication and Presentation

Upon notification of acceptance, all authors of accepted papers will receive further
instructions for preparing the camera-ready versions of their submissions. If a submission
is accepted, at least one author of the paper is required to have a full registration for ISSRE
2026, attend the conference, and present the paper in person. All accepted papers will be
published in the conference electronic proceedings. The presentation is expected to be
delivered in person, unless this is impossible due to travel limitations (e.g., related to
health or visa). Details about the presentations will follow the notifications.

The official publication date is the date the proceedings are made available in the IEEE
Digital Libraries. The official publication date affects the deadline for any patent filings
related to published work.

Purchases of additional pages in the proceedings are not allowed.


Important Dates (AoE)

? Submission deadline: July 5, 2026
? Notification of acceptance: August 12, 2026
? Camera-ready copy submission: August 19, 2026
? Author registration deadline: August 19, 2026


Organisation

General Chairs
? Leonardo Mariani, University of Milano - Bicocca, Italy
? George A. Papadopoulos, University of Cyprus, Cyprus

Program Coordinator
? Roberto Natella, GSSI, Italy

Research Program Committee Chairs
? Domenico Cotroneo, UNC Charlotte, USA
? Jie M. Zhang, King's College London, UK

Industry Program Chairs
? Jinyang Liu, Bytedance, USA
? Sigrid Eldh, Ericsson AB, Sweden

Workshop Chairs
? Georgia Kapitsaki, University of Cyprus, Cyprus
? August Shi, The University of Texas at Austin, USA

Doctoral Symposium Chairs
? Stefan Winter, LMU Munich, Germany
? Lili Wei, McGill University, Canada

Fast Abstract Chairs
? Luigi Lavazza, University of Insubria, Italy
? Yintong Huo, SMU, Singapore

JIC2 Chair
? Helene Waeselynck, LAAS-CNRS, France

Publicity Chairs
? Allison K. Sulivan, The University of Texas at Arlington, USA
? Jose D'Abruzzo Pereira, University of Coimbra, Portugal

Publication Chairs
? Sherlock Licorish, Otago Business School, New Zealand
? Maria Teresa Rossi, GSSI, Italy

Artifact Evaluation Chairs
? Naghmeh Ivaki, University of Coimbra, Portugal
? Fumio Machida, University of Tsukuba, Japan

Diversity and Inclusion Chair
? Eleni Constantinou, University of Cyprus, Cyprus

Financial Chair
? Costas Pattichis, University of Cyprus, Cyprus

Web Chairs
? Michalis Ioannides, Easy Conferences LTD
? Elena Masserini, University of Milano - Bicocca, Italy

Registration Chair
? Easy Conferences LTD

From fm-announcements at lists.nasa.gov  Fri Jun 19 09:15:19 2026
From: fm-announcements at lists.nasa.gov (Alceste Scalas via fm-announcements)
Date: Fri, 19 Jun 2026 09:15:19 +0200
Subject: [Event@CIG] [fm-announcements] CfP: STARS - STAtic+Runtime
 verification Synergies @ SEFM 2026
Message-ID: <88e9d5f6-53ae-43c3-94ed-eca253eaba51@dtu.dk>

* 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 

