Yliès Falcone (équipe VASCO) et Lenore D. Zuck (University of Chicago) ont organisé et présidé le comité de programme du trackRuntime Verification: the Application Perspective qui s'est déroulé durant la conférence IsoLA 2012 (5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation) à Heraklion en Crète le 15-18 octobre 2012.