VORTEX 2021
Verification and mOnitoring at Runtime EXecution
VORTEX brings together researchers working on all aspects of Runtime Monitoring (RM) with emphasis on integration with formal verification and testing.
Co-Organizers
- Wolfgang Ahrendt, Chalmers University of Technology, Sweden
- Davide Ancona, DIBRIS, University of Genova, Italy
- Adrian Francalanza, University of Malta, Malta
Important dates
- Extended submission deadline: Fri 7 May 2021
- Author notification: Mon 17 May 2021
- Camera ready submission: Fri 4 Jun 2021
- Virtual workshop: Mon 12 Jul 2021