[ecoop-info] SERENE 2014 - Workshop on Software Engineering for Resilient Systems - deadline extension (July 2)

[Alexander Romanovsky]

Dear Colleagues,

The submission deadline for SERENE 2014 has been extended to July 2. 
Please share the news with your colleagues who might be interested in software resilience.

*******************************************************************

		       Call for Papers

			 SERENE 2014
6th International Workshop on Software Engineering for Resilient Systems
	  October 15-16, 2014, Budapest, Hungary
	      http://serene.disim.univaq.it/


*** IMPORTANT NEWS ***

- Paper submission deadline is extended to July 2, 2014.
We do accept research, experience/industry, PhD, project and tool papers on the design, verification, validation, evaluation of
resilient systems.

- Proceedings of SERENE 2014 will be published as a volume of Springer Lecture Notes in Computer Science (LNCS).

- Keynote speech will be given by Vincenzo De Florio on "Community Resilience: Challenges, Requirements, and an Organizational
Model".

- The theme of the SERENE Autumn School (to be held on October 13-14) is "Engineering Resilient Cyber Physical Systems".


*** Overview of Dates ***

- Submission due: July 2, 2014 (deadline extended)
- Notification: July 31, 2014
- Camera ready papers: August 8, 2014
- Autumn school: October 13-14, 2014
- Workshop: October 15-16, 2014

*** Workshop Topics ***

Unprecedented level of complexity of modern software and software-based systems makes it difficult to ensure their resilience - an
ability of the system to persistently deliver its services in a dependable way even when facing changes, unforeseen failures and
intrusions. Yet we are observing the increasingly pervasive use of software in evolvable and critical systems like transportation,
health care, manufacturing, and IT infrastructures. This trend urges the research community to develop powerful methods for assuring
resilience of software-intensive systems.

These challenges has also appeared in the scope of the current Horizon 2020 calls that aim at developing tools and methods for
incorporating resilience into evolving software systems; and also in calls related to specific application areas like advanced cloud
infrastructures and services, smart objects, and robotics.

The SERENE 2014 workshop provides a forum for researchers and practitioners to exchange ideas on advances in all areas relevant to
software engineering for resilient systems, including, but not limited to:

Design of resilient systems:
- Requirements engineering & re-engineering for resilience;
- Frameworks, patterns and software architectures for resilience;
- Engineering of self-healing autonomic systems;
- Design of trustworthy and intrusion-safe systems;
- Resilience at run-time (mechanisms, reasoning and adaptation).

Verification, validation and evaluation of resilience:
- Modelling and model based analysis of resilience properties;
- Formal and semi-formal techniques for verification and validation;
- Experimental evaluations of resilient systems;
- Quantitative approaches to ensuring resilience;
- Resilience prediction.

Case studies & applications:
- Empirical studies in the domain of resilient systems;
- Cloud computing and resilient service provisioning;
- Resilient cyber-physical systems and infrastructures;
- Global aspects of resilience engineering: education, training and cooperation.

*** Contributions ***

We welcome relevant contributions in the following forms:

- Technical papers describing original theoretical or practical work;

- Experience/Industry papers describing practitioner experience or field study, addressing an application domain and the lessons
learned;

- PhD Forum papers describing objectives, methodology, and results at an early stage in research;

- Project papers describing goals and results of ongoing projects;

- Tool papers presenting new tools or new versions of existing tools that support the development of resilient systems.

*** Submission ***

Papers can be submitted via EasyChair:
	https://www.easychair.org/conferences/?conf=serene2014

Each paper must be submitted in PDF and
- be formatted according to the Springer LNCS Guidelines: http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0
- be no longer than 15 pages for technical and experience/industry papers, and 8 pages for all others.

Submitted papers must describe novel work and not be published elsewhere. All papers will be peer-reviewed and assessed for
relevance to the workshop topics, technical soundness, innovation, scientific and presentation quality. Accepted papers must be
presented by (one of) the author(s).

The Proceedings of SERENE 2014 will be published as a volume in Springer Lecture Notes in Computer Science (LNCS).

*** Keynote Speech ***

Vincenzo De Florio will give the keynote speech of the workshop. The topic is "Community Resilience: Challenges, Requirements, and
an Organizational Model".

*** Autumn School ***

The theme of the Autumn School is "Engineering Resilient Cyber Physical Systems".