Runtime Verification 2014 (RV'14)
Runtime Verification 2014 Conference
UTF-8
http://rv2014.imag.fr/templates/protostar/favicon.ico