[TYPES/announce] RRRR 2022 Call for Submissions

[Hartmanns, Arnd (UT-EEMCS)]

Call for Submissions: RRRR 2022
1st Workshop on Reproducibility and Replication of Research Results
April 2, 2022, as a satellite event of ETAPS 2022 in Munich, Germany
https://urldefense.com/v3/__https://qcomp.org/rrrr/2022/__;!!IBzWLUs!HOVMTENMFF8vQqMH4iqzpurOd4ZDxagh_J7AtSPfb9p-KsXSpZL8qsNg54hqa2WSVZ8u7EV36ke5sQ$ 

RRRR provides a forum to present novel approaches to foster reproducibility of research results, and replication studies of existing work, in the broad area of formal methods research. Its goal is to spread the word on best practices, and reward the work invested in replicating results. Where reproducible research can be independently confirmed by third parties using artifacts provided by the original authors, replicating a result means to independently obtain it using new measurements, data, or implementations. RRRR will improve the knowledge transfer between the many separate initiatives – like artifact evaluations and tool competitions – that today support reproducibility, and provide a venue to formally publish replication studies, recognising their immense benefit to the scientific community and the hard work involved. 


SUBMISSIONS

Submissions should be related to research in the broad area of formal methods that would be in scope for one of the ETAPS conferences in principle. Submissions will be handled via EasyChair. All accepted submissions will be collected in informal pre-proceedings.

Submissions are encouraged in, but not limited to, two main topics:
* Reproducibility: Presentations of novel developments in, or retrospective studies on, reproducibility initiatives.
* Replication: Reports on successful or failed attempts at replicating other authors' earlier research results.

RRRR accepts two types of submissions:
* Extended abstracts (around 2 pages in LNCS style including references):
  These may cover work in progress, or summarise work recently published elsewhere.
* Short papers (around 6 pages in LNCS style plus references):
  These should describe finished, not-yet-published work.

Short papers will undergo a full reviewing process by at least three PC members. We encourage, but do not require, short papers to be accompanied by an artifact for reproduction. Authors of accepted submissions will present their work at the workshop, with equal treatment of extended abstracts and short papers. We encourage demonstrations to be integrated in presentations, in particular for replication studies. 


SPECIAL ISSUE IN STTT

Authors of accepted short papers will be invited to submit an extended version to a special issue in the International Journal on Software Tools for Technology Transfer (STTT). We expect these extended versions to be accompanied by an artifact for reproduction that will be permanently archived with a DOI upon publication of the journal paper. 


TIMELINE

* February 1: Submission deadline for short papers
* February 15: Submission deadline for extended abstracts
* March 1: Acceptance notification
* March 10: Final versions for informal pre-proceedings
* April 2: Workshop day

All dates are in 2022 and all deadlines are "anywhere on Earth" (UTC-12). The organisers would appreciate an early informal indication, via email, of the intention to submit to RRRR 2022.


ORGANISERS

* Dirk Beyer (Ludwig-Maximilians-Universität München, Germany)
* Arnd Hartmanns <a.hartmanns at utwente.nl> (University of Twente, The Netherlands)