@@ -33,7 +33,7 @@ SYSTEM DESIGN AND ANALYSIS: modelling and formal methods for design and analysis
<h4><spanclass="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>
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 <ahref="http://control.lth.se/ecrts2015">control.lth.se/ecrts2015</a>.<br>
