All conferences / RV / 2022
RV 2022
22nd International Conference on Runtime Verification
Submission timeline
-
16 May 2022
Abstract registration
AoE
5 May 2022→ 16 May 2022 +11 days -
19 May 2022
Full paper
AoE
5 May 2022→ 19 May 2022 +14 days - 22 Jun 2022 Notification
- 28 Sep 2022 Conference opens
What to submit
- Format
- regular (16 pages LNCS + references) / short (8 pages) / tool demonstration (8 pages)
- Proceedings
- Springer LNCS — Paywalled, for-profit
The Program Committee of RV 2022 will give a Springer-sponsored Best Paper Award to one eligible regular paper.
Call for papers
- After a deadline extension RV-2022-extended.txt · TXT · shown below
- As first published RV-2022.txt · TXT
The call, as published
Reproduced verbatim from the organisers’ announcement, after a deadline extension. The conference’s own page is at rv22.gitlab.io/.
We would like to inform you that the deadline of Runtime Verification RV'22 is extended as follows: - Paper submission deadline extended to 19 May 2022 - Please register paper title and abstract by Monday 16 May 2022 We would also like to note that RV'22 will go hybrid, which enables both physical and virtual attendance. More information about paper submission and the conference is included below. ==== The 22nd International Conference on Runtime Verification RV'22 [ https://rv22.gitlab.io/ | https://rv22.gitlab.io ] , which will take place as part of the Computational Logic Autumn Summit CLAS 2022 ( [ http://viam.science.tsu.ge/clas2022/ | http://viam.science.tsu.ge/clas2022/ ] ) in Tbilisi, Georgia, from September 28-30, 2022. Deadlines expire at 23:59 anywhere on earth on the dates displayed above. ### Submissions ### Submission: [ https://easychair.org/conferences/?conf=rv2022 | https://easychair.org/conferences/?conf=rv2022 ] .