[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Call for Submissions: RRRR 2024
3rd Workshop on Reproducibility and Replication of Research Results
April 6/7, 2024, as a satellite event of ETAPS 2024 in Luxembourg
https://urldefense.com/v3/__https://qcomp.org/rrrr/2024/__;!!IBzWLUs!X1tNaDzYUDOwpfWh9mkEuMv2LAGgCgxOnDhOUFGgwuB4HcQZforPudON45bHUFOCjE7yG7mJI8u845ydxfSmkAmzyrokzp9C7pUdDhI$
RRRR provides a forum to present and discuss 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. RRRR
invites abstracts and short papers for presentation at the workshop; we plan to
invite authors to submit full papers to a special issue of STTT afterwards.
SUBMISSIONS
Submissions are handled via EasyChair at
https://urldefense.com/v3/__https://easychair.org/conferences/?conf=rrrr2024__;!!IBzWLUs!X1tNaDzYUDOwpfWh9mkEuMv2LAGgCgxOnDhOUFGgwuB4HcQZforPudON45bHUFOCjE7yG7mJI8u845ydxfSmkAmzyrokzp9CSVgt-dU$
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. All
accepted submissions will be informally published via the RRRR website.
Submissions are encouraged in, but not limited to, the two main topics of
reproducibility and replication:
* Presentations of novel developments in, or retrospective studies on,
reproducibility initiatives such as artifact evaluations.
* Reports on successful or failed attempts at reproducing or replicating other
authors' earlier research results.
RRRR accepts presentation abstracts (1-2 pages in LNCS style including
references) as well as short papers (around 6 pages in LNCS style plus
references). Authors of all accepted submissions will present their work at the
workshop (in person).
SPECIAL ISSUE IN STTT
We plan to invite authors of accepted papers/abstracts to submit an
extended/full version of their work to a special issue in the International
Journal on Software Tools for Technology Transfer (STTT). All journal
submissions will undergo a full reviewing process and are expected to be
accompanied by an artifact where applicable.
TIMELINE
* February 22: Submission deadline
* March 7: Acceptance notification
* March 21: Final versions for informal publication on the website
* April 6/7: Workshop day
All dates are in 2024 and all deadlines are "anywhere on Earth" (UTC-12). The
timeline may be adjusted if necessary so that the notification happens before the ETAPS
2024 early registration deadline. The organisers would appreciate an early informal
indication, via email, of the intention to submit to RRRR 2024.
ORGANISERS
* Dirk Beyer (Ludwig-Maximilians-Universität München, Germany)
* Arnd Hartmanns <[email protected]> (University of Twente, The
Netherlands)
WEBSITE
For more details, please visit the RRRR 2024 website at
https://urldefense.com/v3/__https://qcomp.org/rrrr/2024/__;!!IBzWLUs!X1tNaDzYUDOwpfWh9mkEuMv2LAGgCgxOnDhOUFGgwuB4HcQZforPudON45bHUFOCjE7yG7mJI8u845ydxfSmkAmzyrokzp9C7pUdDhI$
