conferences.computer.science

All conferences / RV / 2022

RV 2022

22nd International Conference on Runtime Verification

Held28–30 Sep 2022 WhereTbilisi 🇬🇪 RankCORE B Website rv22.gitlab.io/ ↗
Closed

Submission closed on 19 May 2022, after an extension of 14 days.

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

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 ] . 

Data entirely hand-typed, one call for papers at a time. There is no scraper behind any of this: I read the announcement and type the dates in, in the gaps between other work, and with the hope it is useful to others. Organisers then move deadlines without telling anyone, calls get edited in place, and now and then the typing is simply wrong. Treat this as a well-meaning notebook rather than an authority, and check the conference’s own page before you submit anything you care about.