[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Call for Submissions: RRRR 2023
2nd Workshop on Reproducibility and Replication of Research Results
April 22, 2023, as a satellite event of ETAPS 2023 in Paris, France
https://urldefense.com/v3/__https://qcomp.org/rrrr/2023/__;!!IBzWLUs!Sb_3gYAvVyMR0ntkoSvuad0zuvkSwXoeg6mFQx55bW6ShCO_aqQDKllS4tuIKKzjmFyXzsF6w45gSXYyLa_MJ_Hq9pY3i6tfeKotV6M$
*** DEADLINE: March 9 ***
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. RRRR invites abstracts and
short papers for presentation at the workshop; authors will afterwards be
invited to submit full papers to a special issue of STTT.
SUBMISSIONS
Submissions are handled via EasyChair at
https://urldefense.com/v3/__https://easychair.org/conferences/?conf=rrrr2023__;!!IBzWLUs!Sb_3gYAvVyMR0ntkoSvuad0zuvkSwXoeg6mFQx55bW6ShCO_aqQDKllS4tuIKKzjmFyXzsF6w45gSXYyLa_MJ_Hq9pY3i6tfDNawq6Q$
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, 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 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
Authors of accepted papers/abstracts will be invited 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.
TIMELINE
* March 9: Submission deadline
* March 23: Acceptance notification
* April 11: Final versions for informal publication on the website
* April 22: Workshop day
All dates are in 2023 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 2023.
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 2023 website at
https://urldefense.com/v3/__https://qcomp.org/rrrr/2023/__;!!IBzWLUs!Sb_3gYAvVyMR0ntkoSvuad0zuvkSwXoeg6mFQx55bW6ShCO_aqQDKllS4tuIKKzjmFyXzsF6w45gSXYyLa_MJ_Hq9pY3i6tfeKotV6M$
