9:00 – 10:00 Invited talk 3: Fred. B Schneider (Cornell University, USA).

Why Tags Could Be It

10:00 – 10:30 Coffee Break
10:30 – 12:45 Session 6: Tools and tool exhibitions.

Duncan Attard and Adrian Francalanza.
A Monitoring Tool for a Branching-Time Logic

Teng Zhang, Peter Gebhard and Oleg Sokolsky.
SMEDL: Combining Synchronous and Asynchronous Monitoring

Lukasz Ziarek, Bharat Jayaraman, Demian Lessa and J. Swaminathan.
Runtime Visualization and Verification in JIVE

Johann Schumann, Patrick Moosbrugger and Kristin Rozier.
Runtime Analysis with R2U2: A Tool Exhibition Report

Giles Reger.
An Overview of MarQ

12:45 – 14:00 Lunch
14:00 – 15:30 Session 7: Security and Privacy.

Jean Goubault-Larrecq and Jean-Philippe Lachance.
On the Complexity of Monitoring Orchids Signatures

Lee Pike, Patrick Hickey, Trevor Elliott, Eric Mertens and Aaron Tomb.
TrackOS: A Security-Aware Real-Time Operating System

Raul Pardo, Christian Colombo, Gerardo Schneider and Gordon Pace.
An Automata-based Approach to Evolving Privacy Policies for Social Networks

15:30 – Closing remarks