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 >