<html><head></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; ">====The submission deadline has been extended until April 28=====<div><div><br></div><div>SERENE 2011 -- 3rd International Workshop on Software Engineering for<br>Resilient Systems<br><br><a href="http://serene2011.uni.lu/">http://serene2011.uni.lu/</a><br>September 29-30, 2011<br>Geneva, Switzerland<br>Call for papers</div><div><br>Unprecedented level of complexity of modern software makes it<br>difficult to ensure its resilience -- an ability of the system<br>persistently deliver its services in the trustworthy way even when<br>facing changes. Yet we are observing the increasingly pervasive use of<br>software in such critical infrastructures as transportations, health<br>care, energy production etc. Such a trend could lead to devastating<br>accidents unless the research community develops powerful methods for<br>assuring resilience of software-intensive systems. The SERENE 2011<br>workshop provides a forum for researchers and practitioners to<br>exchange reports on advances in all areas relevant to this challenge,<br>including, but not limited to:<br><br>- Modelling of resilience properties: formal &amp; semi-formal techniques<br>- Requirements, software engineering &amp; re-engineering for resilience<br>- Verification and validation of resilient systems<br>- Resilience prediction and experimental measurement<br>- Error, fault and exception handling in the software life-cycle<br>- Frameworks, patterns and software architectures for resilience<br>- Resilience at run-time: metadata, mechanisms, reasoning and adaptation<br>- Engineering of self-healing autonomic systems<br>- Quantitative approaches to ensuring resilience<br>- CASE tools for developing resilient systems<br><br>Papers will be evaluated by the Programme Committee according to their<br>originality, significance, soundness, quality of presentation and<br>relevance with respect to the main issues of the workshop.<br><br>There are 3 categories of paper:<br>- Regular papers not exceeding 15 pages including appendices using<br>Springer LNCS format.<br>- Experience/Industry papers not exceeding 15 pages describing<br>practitioner experience or case studies, addressing the application<br>domain and lessons learned.<br>- Short papers not exceeding 6 pages that include the following categories:<br>- Discussion papers: Papers describing work in progress or novel ideas<br>in engineering of resilient systems.<br>- Project papers: Papers describing goals and results of ongoing<br>projects related to SERENE<br>- Tool papers: Papers presenting new tools or new versions of the<br>existing tools that support the development of resilient systems.<div><br></div><div><br></div><div><div>The Proceedings will be published as a volume in the LNCS series</div><div>by Springer.</div><br>Important dates:</div><div><br>Submission due: &nbsp; &nbsp; April 28th, 2011<br>Notification: &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;May 31st, 2011<br>Camera ready: &nbsp; &nbsp; &nbsp; &nbsp;June 30th, 2011<br>Workshop: &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;September 29-30, 2011</div></div></div><div><br></div></body></html>