<html><head></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><div>SERENE 2011 -- 3rd International Workshop on Software Engineering for</div><div>Resilient Systems and the SERENE School<br>Call for participation<br><a href="http://serene2011.uni.lu/">http://serene2011.uni.lu/</a><br>September 27-30, 2011</div><div>Geneva, Switzerland<br></div><div><br></div><div><br></div><div><div>SERENE Workshop - September 29-30, 2011</div><div>The workshop programme covers 1.5 days of technical talks and</div><div>includes two invited talks:</div><div>- Peter Popov. Preliminary Interdependency Analysis (PIA): Method and Tool Support</div><div>- Ivica Crnkovic. Predictability and Evolution in Resilient Systems </div><div><br></div><div>These are complemented by the 13 presentations of the peer-reviewed papers </div><div>in the following areas: </div><div>- Formal Modelling and Verification</div><div>- Architecting Resilient Systems</div><div>- Fault Tolerance</div><div>- Requirements Engineering and Product Lines</div><div>- Monitoring and Self-adaptation</div><div>- Security and Intrusion Avoidance</div><div><div><br></div><div>The Proceedings are published as a volume in the LNCS series</div><div>by Springer.</div></div><div><br></div><div><br></div><div>The workshop is preceded by the SERENE School with the following program:</div><div><br></div><div>27th Sept - morning</div><div>Speaker: Manuel Oriol, University of York, UK</div><div>Title: Testing Resilient Systems</div><div><br></div><div>27th Sept - afternoon</div><div>Speaker: Valerie Issarny, INRIA Paris - Rocquencourt, France</div><div>Title: Towards Future Proof Interoperability</div><div><br></div><div>28th Sept - morning</div><div>Speaker: Marc-Olivier Killijian, LAAS-CNRS, France</div><div>Title: New Paradigms for the Design of Mobiquitous Applications</div><div><br></div><div>28th Sept - afternoon</div><div>Speaker: Ekkart Kindler, Technical University of Denmark</div><div>Title: Resilient Software by Model-based Software Engineering</div><div><br></div><div><br></div><div>For the full information about the event and the registration </div><div>visit </div><div><a href="http://serene2011.uni.lu/">http://serene2011.uni.lu/</a></div><div><a href="http://serene2011.uni.lu/Registration">http://serene2011.uni.lu/Registration</a></div><div><br></div><div><br></div>
<!--EndFragment-->
</div></body></html>