[ Apologies for cross posting ]
We would like to inform you that, due to the current world situation, the Runtime Verification 2022 will go HYBRID, which enables both physical and virtual attendance. The information for 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. ### Dates ### Paper submission: Thursday, 5 May 2022 Notification: Wednesday, 22 June 2022 Camera-ready: Sunday, 24 July 2022 Conference: 28-30 September 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 ] .
_______________________________________________ Om-announce mailing list [email protected] https://mailman.openmath.org/cgi-bin/mailman/listinfo/om-announce
