14th International Conference on Runtime Verification

September 22 - September 25, 2014 Toronto, Canada

700px-downtown-explore-toronto-top
700px-Toronto_skyline_sailboat
700px-Toronto_ON_Toronto_Skyline2_modified
700px-FuturebigToronto
700px-Skyline_of_Toronto_viewed_from_Harbour
700px_Downtown

Andreas Bauer (NICTA, Software Systems Research Group)

Ylies Falcone (Universite Joseph Fourier, France)

Sebastian Fischmeister (University of Waterloo, Canada)

Patrick Lam (University of Waterloo, Canada)

Ayoub Nouri (Verimag, France)

Pengcheng Zhang (Nanjing University, China)

Nadia Polikarpova (ETH Zurich, Switreland)