[Om-announce] Runtime Verification RV'22 will go HYBRID (virtual+physical) - Submission May 5

Thao Dang thao.dang at imag.fr
Thu Apr 14 18:33:23 CEST 2022


[ 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 ] . 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.openmath.org/pipermail/om-announce/attachments/20220414/143b4643/attachment-0001.htm>


More information about the Om-announce mailing list