<html><head></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><div><br></div><div><span class="Apple-style-span" style="border-collapse: collapse; color: rgb(34, 34, 34); font-family: arial, sans-serif; font-size: 13px; ">3rd International Conference on Runtime Verification (RV 2012)<br>September 25-28, 2012<br><br>Koc University Research Center for Anatolian Civilizations in Pera<br>Istanbul, Turkey<br><br><a href="http://rv2012.ku.edu.tr/" target="_blank" style="color: rgb(17, 85, 204); ">http://rv2012.ku.edu.tr</a><br><br>RV 2012 is the third conference in a series dedicated to the<br>advancement of monitoring<br>and analysis techniques for software and hardware system executions.<br>Application areas<br>of runtime verification include safety-critical systems ranging from<br>enterprise and systems<br>software, to autonomous and reactive control systems, to health<br>management and diagnosis<br>systems, to security. In addition to paper presentations, the program<br>also comprises two<br>invited tutorials and three invited talks. This year, we have an open<br>tool demonstration<br>session. All conference attendees will have the opportunity to<br>demonstrate tools they are<br>developing.<br><br>To register, visit the conference website: <a href="http://rv2012.ku.edu.tr/" target="_blank" style="color: rgb(17, 85, 204); ">http://rv2012.ku.edu.tr</a><br><br>Program highlights:<br><br>------------------------------<wbr>------------------------------<wbr>------------------------<br>Invited tutorials:<br><br> Dynamic analyses for data-race detection<br> John Erickson, Madan Musuvathi, and Stephen Freund<br><br> Symbolic execution<br> Cristian Cadar and Koushik Sen<br><br>Invited talks:<br><br> It's the end of the world as we know it (and I feel fine)<br> Jim Larus<br><br> Malware riding badware: challenges in analyzing (malicious/benign)<br>web applications<br> Giovanni Vigna<br><br> From runtime verification to runtime intervention and adaptation<br> Martin Rinard<br>------------------------------<wbr>------------------------------<wbr>------------------------</span></div><div><span class="Apple-style-span" style="border-collapse: collapse; color: rgb(34, 34, 34); font-family: arial, sans-serif; font-size: 13px; "><br></span></div></body></html>