[agents] CfP: Formal Approaches to Managing Evolving Systems 2013

[Jan-Philipp Steghöfer]

--------------------------------------------
FAMES 2013 - CALL FOR PAPERS
First IFIP/IEEE International Workshop on Formal Approaches to Managing
Evolving Systems
Ghent, Belgium, 31 May 2013
http://www.cs.york.ac.uk/es/fames2013

(Held in conjunction with the IFIP/IEEE International Symposium on
Integrated Network Management - IM 2013)
--------------------------------------------

In today’s ever-changing economies and societies, networked IT systems
providing services in key domains ranging from healthcare and
transportation to banking and e-commerce have to evolve to keep up with
change. New digital services emerge every day from start-up companies
all over the world, and existing companies have to evolve their services
and IT infrastructure to maintain competitiveness. However,
operating and managing assemblies of diverse and heterogeneous systems
that change their configuration rapidly and dynamically poses great
challenges. Virtualization technology including virtual machines and
software-defined networks make the configuration of these systems even
more complex and dynamic.

A promising approach to overcoming the significant and growing
challenges in the management of evolving systems is to complement their
administrators’ technical skills with automated or advisory system
management tools that use mathematically-based techniques to select or
suggest suitable configurations and operating modes.  These formal
approaches to managing evolving systems identify effective
configurations for an evolving system by analyzing historical and
real-time system data in conjunction with mathematical models of its
workload, state and available configurations.

The FAMES workshop aims to bring together researchers and practitioners
from academia and industry to explore the use of mathematically-based
formal approaches in addressing the challenges of managing evolving
systems and services.

--- SCOPE AND TOPICS ---

Topics of interest include but are not limited to the following aspects
of managing evolving systems:
• Formal approaches to autonomic system management
• Verification and validation of evolving systems
• Formal analysis of system management workflows
• Policy-based control and parameter configuration for evolving systems
• Formal techniques for operation procedure synthesis
• Configuration change management
• Resource optimization for dynamic workloads
• Big data analysis for evolving system operation and management
• Formal approaches to fault diagnosis in heterogeneous systems
• Performance modeling and analysis for evolving systems
• Real-time event processing in system management
• Dynamic datacenter network configuration
• Business dynamics and system evolution
• Crowdsourcing for effective system management
• Adaptive cloud computing infrastructure

--- PAPER SUBMISSION ---

Submitted manuscripts should be limited to 8 pages (full papers) or 4
pages (short, work-in-progress papers) in IEEE two-column style
(http://www.ieee.org/conferences_events/conferences/publishing/templates.html),
including figures, references, and appendices. Papers should be
submitted in PDF format, using the JEMS on-line submission system at
https://jems.sbc.org.br/fames2013. All accepted papers will be published
in the workshop proceedings and in the IEEE Xplore® Digital Library.
Accepted papers not presented at the workshop will be withdrawn from
IEEE Xplore®.

--- IMPORTANT DATES ---

Paper submission: Jan. 4th, 2013
Author notification: Feb. 18th, 2013
Camera-ready papers: Mar 1st, 2013
Workshop date: May 31st, 2013

--- PROGRAM CO-CHAIRS ---
Radu Calinescu, University of York, UK
Shinji Kikuchi, Fujitsu Laboratories, Japan

--- PROGRAM COMMITTEE ---
Toshiaki Aoki, JAIST, Japan
Lars Grunske, University of Kaiserslautern, Germany
Gaétan Hains, Université Paris-Est Créteil, France
Hiroyuki Higuchi, Fujitsu Laboratories, Japan
Kunihiko Hiraishi, JAIST, Japan
Kenneth Johnson, University of York, UK
Marc de Jonge, TNO, Netherlands
Michal Konecny, Aston University, UK
Hanan Lutfiyya, University of Western Ontario, Canada
Raffaela Mirandola, Politecnico di Milano, Italy
Septimiu Nechifor, Siemens, Romania
David Parker, University of Birmingham, UK
Cristina Seceleanu, Malardalen University, Sweden
Jan-Philipp Steghöfer, Augsburg University, Germany
Giordano Tamburrelli, Politecnico di Milano, Italy