RV ’12 will have three paper categories: regular and short papers, and tool demonstration papers. All accepted papers will appear in the LNCS proceedings. Papers must use the LNCS style. All papers will be reviewed by the conference Program Committee. At least one author of each accepted paper must attend RV’12 to present the paper.
- Regular papers (up to 15 pages – Submission deadline extended: June 10, 2012 Deadline Extended): should present unpublished results. Applications of runtime verification are particularly welcome. A Best Paper Award will be given.
- Short papers (up to 5 pages – Submission deadline: June 10, 2012 Deadline Extended): 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.
- Tool demonstrations (up to 5 pages): 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 will be offered.
Instructions for submissions
All proposals and papers should be submitted via this Submission page (using Easychair)