[TYPES/announce] Call for Participation: Runtime Verification 2013

Uli Fahrenberg ulrich.fahrenberg at irisa.fr
Tue Jul 23 08:37:48 EDT 2013

                      CALL FOR PARTICIPATION

                Fourth International Conference on
                       Runtime Verification

                       INRIA Rennes, France
                       24-27 September 2013


RV'13, the Fourth International Conference on Runtime Verification,
will take place at INRIA Rennes, France, from 24 to 27 September 2013.


Runtime verification is concerned with monitoring and analysis of soft-
ware and hardware system executions.  Runtime verification techniques
are crucial for system correctness and reliability; they are signif-
icantly more powerful and versatile than conventional testing, and more
practical than exhaustive formal verification.  Runtime verification can
be used prior to deployment, for verification and debugging purposes,
and after deployment for ensuring reliability, safety and security,
and for providing fault containment and recovery.


Basic registration fee: 400 Euro (student fee 370)
More options and registration at:




Victor Kuncak, EPFL:
      Executing Specifications using Synthesis and Constraint Solving

Klaus Ostermann, University of Marburg:
      Programming Without Borders

Martin Leucker, University of Luebeck:
      Runtime Verification with Data

More information about the Types-announce mailing list