*RV 2017*
*Call for Papers and Tutorials*
The 17th International Conference on Runtime Verification
September 13-16, Seattle, WA, USA
http://rv2017.cs.manchester.ac.uk
rv2...@easychair.org
Runtime verification is concerned with the monitoring and analysis of the
runtime b
ACM SIGPLAN SPLASH 2017
October 22-27, 2017
Vancouver, Canada
http://2017.splashcon.org
The ACM SIGPLAN Conference on Systems, Programming, Languages and Applications:
Software for Humanity (SPLASH) embraces all aspects of software construction,
to make it the premier conference at the intersecti
