October 15-18
Istanbul, Türkiye
We are pleased to invite you to join us for The 24th International Conference on Runtime Verification (RV'24) on October 15-18, 2024, in Istanbul, Türkiye!
This year's exciting conference program is now available! You can explore accepted papers, keynotes and special sessions, at the following link:
https://easychair.org/smart-program/RV2024/2024-10-15.html.
In addition, RV'24 will feature a Tool Showcase session on 16 October!
We encourage all developers of RV-related tools to present their software (independently of whether or not they have a paper accepted at the main conference). Tables and poster stands will be provided.
Would you like to present your tool at RV'24? Please send an email to rv2024@easychair.org with the name(s) of the presenter(s) and of the tool.
Note that early registration is open till 15 August 2024. Find out more on our webpage:
https://yeni.cmpe.bogazici.edu.tr/rv24/registration/.
We hope to see you at the conference in Istanbul, at the beautiful campus of Boğaziçi University.
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Posts
