Several paper types can be submitted to RV'10: regular, short, tutorial or tool papers. All accepted papers will appear
in the LNCS proceedings. Papers must use the LNCS style. The regular and the short papers will be reviewed by the conference Program Committee. The tutorial and tool papers will be evaluated by the corresponding chair(s), with the
help of selected reviewers. At least one author of each accepted paper must attend RV'10 to present the paper.
Regular papers (up to 15 pages, deadline June 8, 2010 (23.59 Samoa time), notification July 13, 2010 ): should present unpublished results. Applications of runtime verification are particularly welcome. A Best Paper Award (300 Euro) will be offered.
Short papers (up to 5 pages, deadline June 8, 2010 (23.59 Samoa time), notification July 13, 2010): may present interesting but not necesarily thoroughly worked out ideas, for example emerging runtime verification techniques and applications, or techniques and applications that establish relationships between runtime verification and other domains.
Accepted short papers will be presented in special short talk (5-10 minutes) and poster sessions.
Tutorials (up to 2 pages, deadline May 1, 2010 (23.59 Samoa time), notification May 15, 2010): should present a tutorial proposal.
The accepted tutorials will be given 15 pages in the final proceedings. Tutorial presentations will be at least 2 hours.
Tool demonstrations (up to 2 pages, deadline June 15, 2010 (23.59 Samoa time), notification July 13, 2010): should present a tool demo proposal. The authors of accepted tool papers will give demonstrations of their tools in special tool demo sessions. The tool papers will be given 5 pages in the final proceedings. A Best Tool Award (200 Euro) will be offered.
Instructions for submissions
All proposals and papers should be submitted via this Submission page (using Easychair).
Please indicate submission category: regular paper, short paper, tutorial proposal or tool demo proposal.