<html><head></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; ">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><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 & semi-formal techniques<br>- Requirements, software engineering & 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.<br><br>Important dates:<br>Submission due: <span class="Apple-tab-span" style="white-space:pre"> </span>April 18th, 2011<br>Notification: <span class="Apple-tab-span" style="white-space:pre"> </span>May 31st, 2011<br>Camera ready: <span class="Apple-tab-span" style="white-space:pre"> </span>June 30th, 2011<br>Workshop: <span class="Apple-tab-span" style="white-space:pre"> </span>September 29-30, 2011<br><br></body></html>