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 617A07FACB; Mon, 15 Sep 2014 18:53:04 +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: Ar0BAMEYF1SA8OoWnGdsb2JhbABggmMHdlcEuC6CQI9yBoRkhAMWEAEBAQEBCAsJCRQqhAodbgEcJz0nBCcBiCkBlkueWYY2jB6FbQ9EgUEFklCDNIhjikmLMoFDbYEHJByBAgEBAQ X-IPAS-Result: Ar0BAMEYF1SA8OoWnGdsb2JhbABggmMHdlcEuC6CQI9yBoRkhAMWEAEBAQEBCAsJCRQqhAodbgEcJz0nBCcBiCkBlkueWYY2jB6FbQ9EgUEFklCDNIhjikmLMoFDbYEHJByBAgEBAQ X-IronPort-AV: E=Sophos;i="5.04,529,1406584800"; d="scan'208";a="95540874" Received: from cheviot22.ncl.ac.uk ([128.240.234.22]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 15 Sep 2014 18:53:03 +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 1XTZWA-0001al-FI; Mon, 15 Sep 2014 17:52:46 +0100 Received: from EXMBDB03.campus.ncl.ac.uk ([fe80::a8d7:770f:32f:9a8c]) by EXHUBVM03.campus.ncl.ac.uk ([fe80::517e:5471:8227:7937%10]) with mapi id 14.03.0158.001; Mon, 15 Sep 2014 17:52:38 +0100 From: Alexander Romanovsky To: ECOOP Info Thread-Topic: Call for participation: SERENE 2014 Workshop and Autumn School on Software Engineering for Resilient Systems Thread-Index: AQHP0QV0zM83+gGBq0eOa2jRUZZ4aw== Date: Mon, 15 Sep 2014 16:52:38 +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="Windows-1252" Content-ID: Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-Validation-by: alexander.romanovsky@newcastle.ac.uk Subject: [Caml-list] Call for participation: SERENE 2014 Workshop and Autumn School on Software Engineering for Resilient Systems **** CALL FOR PARTICIPATION **** The 6th International Workshop=20 on Software Engineering for Resilient Systems (SERENE) 15-16th October 2014, Budapest, Hungary http://serene.disim.univaq.it/ The SERENE Autumn School on Engineering Resilient Cyber Physical Systems 13-14th October 2014, Budapest, Hungary http://serene.disim.univaq.it/ 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. The SERENE autumn school will explore the resiliency of cyber physical systems. *** MAIN WORKSHOP FEATURES *** - 12 technical papers in 4 sessions - Keynote on community resilience engineering - Panel on runtime resilience assessment of dynamic software systems - SERENE Working Group meeting - Autumn School on Engineering Resilient Cyber Physical Systems *** PAPER SESSIONS *** - Design of Resilient Systems - Analysis of Resilience - Verification and Validation - Monitoring *** KEYNOTE *** - Vincenzo De Florio (Univ. of Antwerp, Belgium, and iMinds): Community Resilience Engineering: Reflections and Preliminary Contributions *** PANEL SESSION *** Topic: Views on Runtime Resilience Assessment of Dynamic Software Systems Organizer: Marco Vieira (University of Coimbra, Portugal) Panelists: - Elena Troubitsyna (Abo Akademi University, Finland) - Katinka Wolter (Freie University Berlin, Germany) - Vincenzo De Florio (University of Antwerp, Belgium) - Henry Muccini (University of L=92Aquila, Italy) - Alexander Romanovsky (Newcastle University, UK) *** AUTUMN SCHOOL *** Date: 13-14th October, 2014 Topic: Engineering Resilient Cyber Physical Systems Director of the school: Henry Muccini (Univ. of L=92Aquila, Italy) Presenters of the Autumn School: - Gabor Karsai (Vanderbilt University, USA): Resilience in Cyber-Physical Systems: Challenges and Opportunities - Zsolt Kocsis (IBM Hungary): System Management Overview - Luigi Pomante (Univ. of L=92Aquila, Italy): System-Level Concurrent Error Detection - Imre Kocsis (Budapest Univ. of Technology and Economics): Measurement-Driven Resilience Design of Cloud-Based Cyber-Physical Systems *** VENUE OF THE WORKSHOP AND AUTUMN SCHOOL *** SERENE 2014 will be hosted by Budapest, the capital of Hungary. - Budapest is a historic city having nearly 2 million inhabitants in the heart of Middle Europe. - Budapest has a vibrant cultural heritage, it offers several tens of museums, concert halls and an opera house. - Junior people may enjoy its specific subculture ranging from jazz concerts to ruin pubs. - Budapest is called the City of Spas with a dozen thermal baths served by natural thermal springs. **** FURTHER INFORMATION **** Detailed information on registration, prices, transportation, hotels, and local arrangements is available on the SERENE 2014 website: http://serene.disim.univaq.it/