<HTML>
<HEAD>
<TITLE>RV 2010 - Second Call for Participation</TITLE>
</HEAD>
<BODY>
<FONT FACE="Calibri, Verdana, Helvetica, Arial"><SPAN STYLE='font-size:11pt'><BR>
</SPAN></FONT><FONT SIZE="2"><FONT FACE="Arial"><SPAN STYLE='font-size:10pt'><BR>
SECOND CALL FOR PARTICIPATION<BR>
<BR>
RV 2010 : 1st International Conference on Runtime Verification<BR>
November 1-4, 2010, St. Julians, Malta<BR>
<BR>
<FONT COLOR="#1300EF"><U><a href="http://www.rv2010.org">http://www.rv2010.org</a><BR>
</U></FONT><BR>
** Early registration deadline: September 30, 2010 **<BR>
<BR>
The 2010 Runtime Verification conference is a forum for researchers and industrial<BR>
practitioners for presenting theories and tools for monitoring and analyzing<BR>
system (software and hardware) executions, as well as forum for presenting<BR>
applications of such tools to practical problems. The field of runtime verification<BR>
is often referred to under different other names, including dynamic analysis, runtime<BR>
analysis, and runtime monitoring, to mention a few. Runtime verification<BR>
can be applied during the development of a system for the purpose of program<BR>
understanding, debugging, and testing, or it can be applied as part of a running<BR>
system, for example for security or safety monitoring, and can furthermore<BR>
be part of a fault protection framework.<BR>
<BR>
RV 2010 is conducted over 4 days. The first day offers 6 tutorials in parallel<BR>
sessions. The remaining three days offer 6 invited talks, and presentation of<BR>
27 regular papers, short papers and tool demonstrations.<BR>
<BR>
<BR>
INVITED SPEAKERS:<BR>
<BR>
- Mike Barnett<BR>
"Code Contracts for .NET: Runtime Verification and So Much More"<BR>
<BR>
- Rance Cleaveland<BR>
"Automatic Requirement Extraction from Test Cases"<BR>
<BR>
- Matthew Dwyer<BR>
"Optimizing Runtime Monitors : Combining Static and Dynamic Techniques"<BR>
<BR>
- Martin Odersky<BR>
"Contracts in Scala"<BR>
<BR>
- Wim De Pauw<BR>
"Visualizing Complex IT Systems"<BR>
<BR>
- R. Sekar<BR>
"Runtime Analysis and Instrumentation for Securing Software"<BR>
<BR>
<BR>
TUTORIALS:<BR>
<BR>
- Cyrille Valentin Artho<BR>
"Run-time Verification of Networked Software"<BR>
<BR>
- Eric Bodden and Patrick Lam<BR>
"Clara: Partially Evaluating Runtime Monitors at Compile Time"<BR>
<BR>
- Ylies Falcone<BR>
"You should Better Enforce than Verify"<BR>
<BR>
- Sylvain Halle and Roger Villemaire<BR>
"Runtime Verification for the Web"<BR>
<BR>
- Axel Legay<BR>
"Statistical Model Checking: Present and Future" <BR>
<BR>
- Patrick Meredith and Grigore Rosu<BR>
"Runtime Verification with the RV System"<BR>
<BR>
<BR>
VENUE:<BR>
<BR>
The conference takes place in St. Julians on Malta, and is hosted by the<BR>
University of Malta. Malta lies at almost the exact geographical heart of the<BR>
Mediterranean Sea. With Sicily some 95 kms to the North, Tripoli 350 kms to<BR>
the South and Tunis 320 kms to the West, Malta is virtually at the crossroads<BR>
between continents. Malta's pre-history dates back to 5000 B.C. The official<BR>
languages of Malta are Maltese and English, so getting by with English is<BR>
not a problem. Italian is also widely spoken.<BR>
<BR>
The accommodation and conference venue is the 5 star Le Meridien Hotel,<BR>
located on the ground of a 19th century Villa in St Julians, overlooking Balluta Bay.<BR>
<BR>
The climate is typically Mediterranean. The average temperature in November is<BR>
20C (70F) during the day and around 14C (60F) at night.<BR>
<BR>
<BR>
REGISTRATION:<BR>
<BR>
The registration is open at:<BR>
<BR>
<FONT COLOR="#1300EF"><U><a href="http://www.um.edu.mt/events/rv2010/registration">http://www.um.edu.mt/events/rv2010/registration</a><BR>
</U></FONT><BR>
- Early registration fee, before or on 30 September: 380 Euros<BR>
- Late registration fee, after 30 September: 450 Euros<BR>
<BR>
<BR>
STUDENTS:<BR>
<BR>
RV 2010 is supporting a limited number of registrations for students at 190 Euros.<BR>
Students can apply by sending an email to Gordon Pace (<FONT COLOR="#1300EF"><U><a href="gordon.pace@um.edu.mt">gordon.pace@um.edu.mt</a></U></FONT>)<BR>
with evidence of student status.<BR>
<BR>
<BR>
ORGANIZATION:<BR>
<BR>
General Chairs:<BR>
- Howard Barringer, University of Manchester, UK<BR>
- Klaus Havelund, NASA/Jet Propulsion Laboratory, USA<BR>
- Insup Lee, University of Pennsylvania, USA<BR>
<BR>
Program Chairs:<BR>
- Grigore Rosu, University of Illinois, Urbana-Champaign, USA<BR>
- Oleg Sokolsky, University of Pennsylvania, USA<BR>
<BR>
Local Organization Chair:<BR>
- Gordon Pace, University of Malta, Malta<BR>
<BR>
Tutorials Chair:<BR>
- Bernd Finkbeiner, Saarland University, Germany<BR>
<BR>
Tool Demonstrations Chair:<BR>
- Nikolai Tillmann, Microsoft Research, USA<BR>
<BR>
Publicity Chair:<BR>
- Ylies Falcone, INRIA Rennes, France<BR>
<BR>
<BR>
SPONSORS:<BR>
<BR>
RV 2010 is sponsored by:<BR>
- The International Federation for Computational Logic<BR>
- The ARTIST Network of Excellence on Embedded Systems Design<BR>
- Microsoft Research<BR>
- University of Illinois<BR>
<BR>
<BR>
We look forward to welcoming you at the 1st International Conference on Runtime Verification.<BR>
</SPAN></FONT></FONT><FONT FACE="Arial"><SPAN STYLE='font-size:11.5pt'><BR>
<BR>
</SPAN></FONT>
</BODY>
</HTML>