23rd International Conference on Runtime Verification (RV'23)
Application areas of runtime verification include cyber-physical systems, autonomous systems, safety/mission critical systems, enterprise and systems software, cloud systems, reactive control systems, health management and diagnosis systems, and system security and privacy.
Conference website: https://rv23.csd.auth.gr
|Regular registration RV 2023||575 €||525 €||Purchase|
|Author registration RV 2023||525 €||525 €||Purchase|
Regular registration RV 2023
Author registration RV 2023
If you need information from the Research Committee (Tax Identification Number, Tax Office, Address), you can find it here.