09.00 - 10.00: Session 1 Introduction Invited talk: Specifying and testing software components with SpeC#. Wolfram Schulte, Microsoft Research, Washington, USA 10.00 - 10.30: Coffee

10.30 - 12.30: Session 2 Testing conformance of real-time software by automatic generation of observers. Saddek Bensalem, Marius Bozga, Moez Krichen and Stavros Tripakis Deductive runtime certification. Konstantine Arkoudas and Martin Rinard Enforcing concurrent temporal behaviors. Doron Peled and Hongyang Qu JVM independent replay in Java. Viktor Schuppan, Marcel Baur and Armin Biere Program instrumentation and run-time analysis of scoped memory in Java. Diego Garbervetsky, Chaker Nakhli, Sergio Yovine and Hichem Zorgati

12.30 - 14.00: LUNCH

14.00 - 16.00: Session 3 Invited talk: Semantics and runtime monitoring of TLCharts: statechart automata with temporal logic conditioned transitions. Doron Drusinsky, Naval Postgraduate School and Time Rover, California, USA Simulation of simultaneous events in regular expressions for run-time verification. Usa Sammapun, Arvind Easwaran, Insup Lee and Oleg Sokolsky Monitoring algorithms for metric temporal logic. Prasanna Thati and Grigore Rosu Run-time checking of refinement. Serdar Tasiran and Shaz Qadeer

16.00 - 16.30: Coffee

16.30 - 18.00: Session 4 jMonitor: Java runtime event specification and monitoring library. Murat Karaorman and Jay Freeman Runtime verification of concurrent Haskell programs. Volker Stolz and Frank Huch Guaranteeing correctness properties of a Java card applet. Lars-Aake Fredlund Closing remarks.