RV 2021 : International Conference on Runtime Verification

in Conferences   Posted on April 6, 2021 

Conference Information

Submission Deadline Thursday 13 May 2021 Proceedings indexed by :
Conference Dates Oct 11, 2021 - Oct 14, 2021
Conference Address Los Angeles, United States
Conference & Submission Link https://uva-mcps-lab.github.io/RV21/
Conference Organizers : ( Deadline extended ? Click here to edit )

Conference Ranking & Metrics (This is a TOP Conference)

Impact Score 1.98
#Contributing Top Scientists 15
#Papers published by Top Scientists 24
Google Scholar H5-index 19
Number of Editions: 21
Guide2Research Overall Ranking: 500
Category Rankings
Software Engineering & Programming 123
Proceedings https://link.springer.com/conference/rv

Conference Call for Papers

Topics of interest to the conference include, but are not limited to:

specification languages for monitoring
monitor construction techniques
program instrumentation
logging, recording, and replay
combination of static and dynamic analysis
specification mining and machine learning over runtime traces
monitoring techniques for concurrent and distributed systems
runtime checking of privacy and security policies
metrics and statistical information gathering
program/system execution visualization
fault localization, containment, recovery and repair
dynamic type checking and assurance cases
runtime verification for autonomy and runtime assurance

Other Conferences in United States

FMCAD 2021 : Formal Methods in Computer Aided Design

Deadline :
Fri 07 May 2021
Oct 20, 2021 - Oct 22, 2021 - Yale University
United States

ACSSC 2021 : Asilomar Conference on Signals, Systems and Computers

Deadline :
Sat 08 May 2021
Oct 31, 2021 - Nov 3, 2021 - Pacific Grove
United States

CLUSTER 2021 : IEEE International Conference on Cluster Computing

Deadline :
Mon 10 May 2021
Sep 7, 2021 - Sep 10, 2021 - Portland
United States