From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id F39777ED9B; Sat, 10 May 2014 00:01:10 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of alexander.romanovsky@newcastle.ac.uk) identity=pra; client-ip=128.240.234.22; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="alexander.romanovsky@newcastle.ac.uk"; x-sender="alexander.romanovsky@newcastle.ac.uk"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of alexander.romanovsky@newcastle.ac.uk designates 128.240.234.22 as permitted sender) identity=mailfrom; client-ip=128.240.234.22; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="alexander.romanovsky@newcastle.ac.uk"; x-sender="alexander.romanovsky@newcastle.ac.uk"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@cheviot22.ncl.ac.uk) identity=helo; client-ip=128.240.234.22; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="alexander.romanovsky@newcastle.ac.uk"; x-sender="postmaster@cheviot22.ncl.ac.uk"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ar4BADNPbVOA8OoWm2dsb2JhbABZgl4HcFivXY46hF6DeRYOAQEBAQEICQsJFCiCLB0dLAIMFwE+QicEJwIGiCUBDJ0nriGFSBeLQ4I3gxMPRIE5BJsDizOCXIZtbYEAAh4GHA X-IPAS-Result: Ar4BADNPbVOA8OoWm2dsb2JhbABZgl4HcFivXY46hF6DeRYOAQEBAQEICQsJFCiCLB0dLAIMFwE+QicEJwIGiCUBDJ0nriGFSBeLQ4I3gxMPRIE5BJsDizOCXIZtbYEAAh4GHA X-IronPort-AV: E=Sophos;i="4.97,1020,1389740400"; d="scan'208";a="72914788" Received: from cheviot22.ncl.ac.uk ([128.240.234.22]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 10 May 2014 00:01:10 +0200 Received: from exhubvm03.ncl.ac.uk ([128.240.234.7] helo=EXHUBVM03.campus.ncl.ac.uk) by cheviot22.ncl.ac.uk with esmtp (Exim 4.63) (envelope-from ) id 1Wisn1-0006j9-FX; Fri, 09 May 2014 22:57:11 +0100 Received: from EXMBCT02.campus.ncl.ac.uk ([fe80::5031:551d:4014:8606]) by EXHUBVM03.campus.ncl.ac.uk ([fe80::517e:5471:8227:7937%10]) with mapi id 14.03.0158.001; Fri, 9 May 2014 22:53:51 +0100 From: Alexander Romanovsky To: SE World Thread-Topic: SERENE 2014 - Workshop on Software Engineering for Resilient Systems Thread-Index: AQHPa9EplcjpATXDYke9ER+7WXK8mA== Date: Fri, 9 May 2014 21:53:50 +0000 Message-ID: Accept-Language: en-US, en-GB Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-originating-ip: [10.4.160.6] Content-Type: text/plain; charset="us-ascii" Content-ID: <2F7B595B4EBAD04C9CA7EDDB9F4CEFA6@fangorn.ncl.ac.uk> Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-Validation-by: alexander.romanovsky@newcastle.ac.uk Subject: [Caml-list] CfP: SERENE 2014 - Workshop on Software Engineering for Resilient Systems [We apologize for multiple copies.] ******************************************************************* 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 dates ***** - Submission due: June 2, 2014 - Notification: July 8, 2014 - Camera ready papers: July 22, 2014 - Autumn school: October 13-14, 2014 - Workshop: October 15-16, 2014 ***** Workshop topics ***** Unprecedented level of complexity of modern software and software-based sys= tems=20 makes it difficult to ensure their resilience - an ability of the system to= persistently=20 deliver its services in a dependable way even when facing changes, unforese= en=20 failures and intrusions. Yet we are observing the increasingly pervasive us= e of=20 software in evolvable and critical systems like transportation, health care= ,=20 manufacturing, and IT infrastructures. This trend urges the research commun= ity=20 to develop powerful methods for assuring resilience of software-intensive s= ystems. These challenges has also appeared in the scope of the current Horizon 2020= calls=20 that aim at developing tools and methods for incorporating resilience into = evolving=20 software systems; and also in calls related to specific application areas l= ike=20 advanced cloud infrastructures and services, smart objects, and robotics. The SERENE 2014 workshop provides a forum for researchers and practitioners= =20 to exchange ideas on advances in all areas relevant to software engineering= for=20 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 coopera= tion. ***** 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 st= udy,=20 addressing an application domain and the lessons learned; - PhD Forum papers describing objectives, methodology, and results at=20 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=20 support the development of resilient systems. ***** Submission ***** Papers can be submitted via EasyChair: https://www.easychair.org/conferences/?conf=3Dserene2014 Each paper must be submitted in PDF and - be formatted according to the Springer LNCS Guidelines: http://www.spring= er.com/computer/lncs?SGWID=3D0-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 worksho= p topics,=20 technical soundness, innovation, scientific and presentation quality. Accep= ted papers must be presented by (one of) the author(s). The Proceedings of SERENE 201= 4 will=20 be published as a volume in Springer Lecture Notes in Computer Science (pen= ding approval). ***** Committees ***** Steering Committee: - Didier Buchs, U. of Geneva, Switzerland - Henry Muccini, U. of L'Aquila, Italy - Patrizio Pelliccione, Chalmers U. of Technology and U. of Gothenburg, Swe= den - Alexander Romanovsky, Newcastle U., UK - Elena Troubitsyna, Abo Akademi U., Finland General Chair: - Andras Pataricza, Budapest University of Technology and Economics, Hungary Program Chairs: - Istvan Majzik, Budapest University of Technology and Economics, Hungary - Marco Vieira, University of Coimbra, Portugal Program Committee: - Paris Avgeriou, U. Groningen, The Netherlands - Didier Buchs, U. Geneva, Switzerland - Andrea Ceccarelli, U. Firenze, Italy - Vincenzo De Florio, U. Antwerp, The Netherlands - Nikolaos Georgantas, INRIA, France - Felicita Di Giandomenico, CNR-ISTI, Italy - Giovanna Di Marzo Serugendo, U. Geneva, Switzerland - Holger Giese, U. Potsdam, Germany - Nicolas Guelfi, U. Luxembourg, Luxembourg - Kaustubh Joshi, AT&T, USA - Mohamed Kaaniche, LAAS-CNRS, France - Vyacheslav Kharchenko, National Aerospace U., Ukraine - Zsolt Kocsis, IBM, Hungary - Nuno Laranjeiro, U. Coimbra, Portugal - Paolo Masci, Queen Mary U., UK - Henry Muccini, U. L'Aquila, Italy - Sadaf Mustafiz, McGill U., Canada - Patrizio Pelliccione, Chalmers U. of Technology and U. Gothenburg, Sweden - Alexander Romanovsky, Newcastle U., UK - Juan Carlos Ruiz, Technical U. of Valencia, Spain - Stefano Russo, U. Naples Federico II, Italy - Peter Schneider-Kamp, U. Southern Denmark, Denmark - Elena Troubitsyna, Abo Akademi U., Finland - Katinka Wolter, Freie U. Berlin, Germany - Apostolos Zarras, U. Ioannina, Greece Publicity Chair: - Zoltan Micskei, BUTE, Hungary Web: - Zoltan Ujhelyi, BUTE, Hungary Finance & Admin: - Judit Spanics, BUTE, Hungary - Nikol Biro, BUTE, Hungary