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

[Uli Fahrenberg]

                      CALL FOR PARTICIPATION

                               RV'13
                Fourth International Conference on
                       Runtime Verification

                       INRIA Rennes, France
                       24-27 September 2013

                  http://rv2013.gforge.inria.fr/


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


SCOPE

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.


REGISTRATION

Basic registration fee: 400 Euro (student fee 370)
More options and registration at:
http://rv2013.gforge.inria.fr/venue.html#regis


PROGRAM

http://rv2013.gforge.inria.fr/program.html


INVITED TALKS

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