Ezio Bartocci is organising the first International Software Runtime Verification Competition

Ezio Bartocci, Borzoo Bonakdarpour and Yliès Falcone are organising the 1st International Software Runtime Verification Competition as a part of the 14th International Conference on Runtime Verification.

The event will be held in September 2014, in Toronto, Canada. CSRV-2014 will draw attention to the invaluable effort of software developers and researchers who contribute in this field by providing the community with new or updated tools, libraries and frameworks for the instrumentation and runtime verification of software.

More information can be found at http://rv2014.imag.fr/monitoring-competition.