[FM-India] RV 2012 - call for participation

Madhavan Mukund madhavan at cmi.ac.in
Sun Sep 9 08:47:05 IST 2012

 From: Klaus Havelund <klaus.havelund at jpl.nasa.gov>
 Subject: RV 2012 - call for participation
 Date : Fri, Sep 07, 2012, 12:06:50PM -0700

 3rd International Conference on Runtime Verification (RV 2012)
 September 25-28, 2012

 Koc University Research Center for Anatolian Civilizations in Pera
 Istanbul, Turkey


 RV 2012 is the third conference in a series dedicated to the
 advancement of monitoring and analysis techniques for software and
 hardware system executions.  Application areas of runtime
 verification include safety-critical systems ranging from enterprise
 and systems software, to autonomous and reactive control systems, to
 health management and diagnosis systems, to security.  In addition to
 paper presentations, the program also comprises two invited tutorials
 and three invited talks.  This year, we have an open tool
 demonstration session. All conference attendees will have the
 opportunity to demonstrate tools they are developing.

 To register, visit the conference website: http://rv2012.ku.edu.tr

 Program highlights:

 Invited tutorials:

   Dynamic analyses for data-race detection
   John Erickson, Madan Musuvathi, and Stephen Freund

   Symbolic execution
   Cristian Cadar and Koushik Sen

 Invited talks:

   It's the end of the world as we know it (and I feel fine)
   Jim Larus

   Malware riding badware: challenges in analyzing (malicious/benign)
 web applications
   Giovanni Vigna

   From runtime verification to runtime intervention and adaptation
   Martin Rinard

More information about the FMIndia mailing list