Runtime Verification 2014 (RV'14) - Monday, September 22nd

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

8h00	Registration
9h00	Tutorial 1 - Part 1	David Basin and Felix Klaedtke: Runtime Monitoring and Enforcement of Security Policies
10h30	Coffee break
11h00	Tutorial 1 - Part 2	David Basin and Felix Klaedtke: Runtime Monitoring and Enforcement of Security Policies
12h30	Lunch break
14h00	Tutorial 2 - Part 1	Vijay Garg and Neeraj Mital: A Lattice-Theoretic Approach to Monitoring Distributed Computations
15h30	Coffee break
16h00	Tutorial 2 - Part 2	Vijay Garg and Neeraj Mital: A Lattice-Theoretic Approach to Monitoring Distributed Computations
18h00	Welcome reception

< Last Day - Next Day >

General Chair:
Sebastian Fischmeister
(University of Waterloo, Canada)

PC co-Chairs:
Borzoo Bonakdarpour
(McMaster University, Canada)

Scott Smolka
(Stony Brook Universtiy, USA)

Tools Track Chair:
Ezio Bartocci
(TU Vienna, Austria)

Runtime Monitoring Competition Co-Chairs:
Ezio Bartocci
(TU Vienna, Austria)

Borzoo Bonakdarpour
(McMaster University, Canada)

Ylies Falcone
(Université Joseph Fourier, France)

Publicity Chair:
Ylies Falcone
(Université Joseph Fourier, France)

Local Arrangements Chair:
Patrick Lam
(University of Waterloo, Canada)

Tutorials and Publications Chair:
Nadia Polikarpova
(ETH Zurich, Switreland)

Kevin Driscoll
(Honeywell, USA)

Assaf Schuster
(Technion, Israel)

Jeannette Wing
(Carnegie Mellon University, USA)

Due to an error, potentially a timed-out connection to Twitter, this user's tweets are unable to be displayed.

Follow @twitterapi

RV’14 gratefully acknowledges the support from the following sponsors: