From bbaf341c10813847d5e99e83bcd87d4a7803a1c0 Mon Sep 17 00:00:00 2001 From: Martina Maggio <martina.maggio@control.lth.se> Date: Thu, 2 Oct 2014 13:33:00 +0000 Subject: [PATCH] Fixing typo --- cfp.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/cfp.html b/cfp.html index c3c608f..21b5b8c 100644 --- a/cfp.html +++ b/cfp.html @@ -33,7 +33,7 @@ SYSTEM DESIGN AND ANALYSIS: modelling and formal methods for design and analysis <h4><span class="redtag">SUBMISSION OF PAPERS</span></h4> Full papers must be submitted electronically through our web form in a pdf format. The material must be unpublished and not under submission elsewhere. Submissions must be in the same format as in the final published proceedings (10 pages maximum, 2 columns, 10 pt). The paper must be self-contained, but an appendix with supplementary material of up to 2 pages is permitted. Papers exceeding the page limit will not be reviewed. Note that the submission deadline is a firm deadline and will not be extended. A selection of the best papers will receive outstanding paper awards, and will be highlighted as such in the conference proceedings. These papers will form the shortlist for a best paper award, which will be presented at the conference. At ECRTS’15, we aim to be more inclusive and thus accept a larger number of high quality papers than in recent years.<br> <br> -<h4><span class="redtag">ONFERENCE HIGHLIGHTS</span></h4> +<h4><span class="redtag">CONFERENCE HIGHLIGHTS</span></h4> Following a successful tradition at ECRTS, there will be a special Work in Progress (WiP) session. This session is intended for presentation of recent and on-going work. There will also be a continuation of a number of successful Satellite Workshops including: OSPERT: Operating Systems Platforms for Embedded Real-Time applications, WCET” Worst-Case Execution Time analysis, RTN: Real-Time Networks, WATERS: Workshop on Analysis Tools and methodologies for Embedded and Real-time Systems, and RTSOPS: Real-Time Scheduling Open Problems Seminar. A separate call for papers will be issued later for both the WiP session and satellite workshops. Please visit the website at <a href="http://control.lth.se/ecrts2015">control.lth.se/ecrts2015</a>.<br> <br> <h4><span class="redtag">Important Dates</span></h4> -- GitLab