An increasingly important requirement for a software-intensive system is the ability to self-manage by adapting itself at run time to handle changing user needs, system intrusions or faults, a changing operational environment, and resource variability. Such a system must configure and reconfigure itself, augment its functionality, continually optimize itself, protect itself, and recover itself, while keeping its complexity hidden from the user.

The topic of self-adaptive and self-managing systems has been studied in a large number of specific areas, including software architectures, fault-tolerant computing, robotics, control systems, programming languages, and biologically-inspired computing.

The objective of this symposium is to bring together researchers and practitioners from many of these diverse areas to engage in stimulating dialogue regarding the fundamental principles, state of the art, and critical challenges of self-adaptive and self-managing systems. Specifically, we intend to focus on the software engineering aspects, including the methods, architectures, algorithms, techniques, and tools that can be used to support dynamic adaptive behavior that includes self-adaptive, self-managing, self-healing, self-optimizing, and self-configuring, and autonomic software.

SEAMS 2012 Call for Papers pdf

The increasing complexity, distribution, and dynamism of many software-intensive systems are imposing self-managing capabilities as a key requirement. These systems must be able to adapt themselves at run-time to cope with changes in the environment in which they operate, variability of resources, new user needs, intrusions, and faults. The goal is to preserve operation and react to changes with no (or limited) human intervention.

Solutions to complement software systems with self-managing and self-adaptive capabilities have been proposed by researchers in many different areas, including software architecture, fault-tolerant computing, robotics, control systems, programming languages, run-time program analysis and verification, and biologically-inspired computing. This symposium focuses on the software engineering aspects, including the methods, techniques, and tools that can be used to support self-adaptive, self-managing, self-healing, self-optimizing, and self-configuring software systems.

The objective is to bring together researchers and practitioners from many of these diverse areas to investigate, discuss, and examine thoroughly the fundamental principles, state of the art, and critical challenges of self-adaptive and self-managing systems.

Topics of Interest

SEAMS is interested in submissions from both industry and academia on all topics related to self-adaptive and self-managing systems. Topics include, but are not limited to:

• requirements elicitation techniques for self-adaptation
• formal notations for modeling and analyzing self-adaptation
• programming language support for self-adaptation
• properties of self-adaptive systems
• reuse support for self-adaptive systems (e.g., patterns, designs, code)
• design and architectural support for self-adaptation
• feedback control for self-adaptive systems
• algorithms for self-adaptation
• integration mechanisms for self-adaptive systems
• self-repairing programs
• automated patch generation
• evaluation and assurance for self-* systems
• verification and validation of self-adaptive and self-managing software
• frameworks for analyzing self-adaptive and self-managing software
• testing of self-adaptive and self-managing systems
• decision-making strategies for self-adaptive and self-organizing systems
• methods for engineering user-trust of self-adaptive and self-managing systems
• model problems and exemplars

The following application areas are of particular interest:

• mobile applications
• cloud computing
• resource provisioning and optimization
• autonomic computing
• feedback control of computing systems
• problem determination including logging, analysis and diagnostics
• smart user interfaces
• service-oriented systems
• dependable computing
• autonomous robotics

Paper submission details

We solicit two types of papers: long papers (up to 10 pages) and position papers for new ideas (up to 6 pages). Long papers should either clearly describe the technical contribution and how the work has been validated, or describe how an existing technique has been applied to real-world examples. New idea papers provide an opportunity to describe novel and promising ideas and/or techniques that might not have been fully validated. All papers will be reviewed by at least three program committee members. Papers must not have been previously published or concurrently submitted elsewhere. The accepted papers will appear in the SEAMS 2012 proceedings published in the ACM and IEEE digital libraries.

General Submission Requirements

Papers submitted to SEAMS 2012 must not have been published elsewhere and must not be under review or submitted for review elsewhere while under consideration for SEAMS 2012. ACM plagiarism policies and procedures shall be followed for cases of double submission. All submissions must be in English.

Paper Preparation and Formatting

All papers must conform, at time of submission, to the IEEE Computer Society Formatting Guidelines. Please use either the Word Template or the LaTeX package provided by IEEE CS. (In some browsers, an empty page will display when clicking these links. Nevertheless, the documents will download; check your download folder.) Make sure that you use US letter page format (don't use A4!). Submissions must be in PDF format. Author names and affiliations shall not be suppressed on the title page of the paper.

Note that camera-ready copies will have the same formatting and size requirements. Thus, your submission should reflect the form that you anticipate your camera-ready copy will take.

Important note for LaTeX users: 1. Make sure that the "compsocconf" option is enabled in your LaTeX document as follows: \documentclass[10pt, conference, compsocconf]{IEEEtran}. 2. Some LaTeX editors (for example, TeXLive 2010) use a version of the IEEEtran class which has the same version number (1.7a) as the one provided by IEEE CS on their website, but different content. In this case, the IEEEtran class provided on the IEEE CS web site shall be used. You can easily test whether you got it right: if LaTeX typsets the title of your paper in 14 pt font, you are fine. If, however, the title is typset in 24 pt font, you are using the wrong version of the IEEEtran class or haven't enabled the "compsocconf" option. Use the template found in the IEEE CS LaTeX package as is and direct your editor to use the IEEEtran class contained in this package.

Paper Length

We solicit two types of papers: long papers (up to 10 pages) and position papers for new ideas (up to 6 pages). Long papers should either clearly describe the technical contribution and how the work has been validated, or describe how an existing technique has been applied to real-world examples. New idea papers provide an opportunity to describe novel and promising ideas and/or techniques that might not have been fully validated. All papers will be reviewed by at least three program committee members. Papers must not have been previously published or concurrently submitted elsewhere. The accepted papers will appear in the SEAMS 2012 proceedings published in the ACM and IEEE digital libraries.

Where to submit

Papers must be submitted electronically through the SEAMS 2012 submission site (see below. The SEAMS 2012 submission deadline is January 23, 2012 at 23:59:59 Pago Pago, American Samoa time. If you submit no later than on the day of the deadline, 23:59 your local time, you will always be on the safe side: there is no time zone worldwide in which a day ends later than in Pago Pago. Before submitting, please verify that your paper is properly formatted according to the SEAMS 2012 formatting instructions stated above. If you are using LaTeX for preparing your paper, particularly make sure that the "compsocconf" option is enabled in your document and that you have used the right IEEEtran class (see "Important note for LaTeX users" above).

Easychair SEAMS 2012 submission website: https://www.easychair.org/conferences/?conf=seams2012

Accepted Contributions

All authors of accepted papers will be asked to complete an IEEE Copyright form and will receive further instructions for preparing their camera ready versions. At least one author of the paper must register for SEAMS 2012 in Zürich and present the paper at the SEAMS 2012 Symposium. There will be no discounted registration fees for authors of accepted papers. All accepted contributions will be published in the conference electronic proceedings.

Best Contributions for ACM TAAS

The authirs of the best papers of SEAMS 2012 will be invited to submit extended versions of their papers to ACM Transactions on Autonomous and Adaptive Systems (TAAS).

General Chair Program Chair Hausi A. Müller Luciano Baresi University of Victoria, Canada Politecnico di Milano, Italy hausi@cs.uvic.ca baresi@elet.polimi.it

Publicity Co-Chair Publicity Co-Chair Gabriel Tamura Norha Villegas INRIA, Lille, France University of Victoria, Canada gabriel.tamura@inria.fr nvillega@cs.uvic.ca

PC Chair

• Luciano Baresi, Politecnico di Milano, Italy

Program Committee

• Robert Baillargeon, General Moters, USA
• Nelly Bencomo, INRIA Paris - Rocquencour, France
• Yuriy Brun, University of Washington, USA
• Marsha Chechik, University of Toronto, Canada
• Betty H.C. Cheng, Michigan State University, USA
• Shang-Wen Cheng, NASA JPL, USA
• Laurence Duchien, University of Lille and INRIA, France
• Schahram Dustdar, Technical University of Vienna, Austria
• Gregor Engels, University of Paderborn, Germany
• Kurt Geihs, University of Kassel, Germany
• Carlo Ghezzi, Politecnico di Milano, Italy
• Ian Gorton, Pacific Northwest National Laboratory, USA
• Holger Giese, Hasso Plattner Institute Potsdam, Germany
• Shinichi Honiden, University of Tokyo, Japan
• Valérie Issarny, INRIA Paris - Rocquencourt, France
• Paola Inverardi, Università dell'Aquila Italy
• Gabor Karsai, Vanderbilt University, USA
• Marin Litoiu, York University, Canada
• Xiaoxing Ma, Nanjing University, China
• Jeff Magee, Imperial College London, UK
• Nenad Medvidovic, University of Southern California Los Angeles, USA
• John Mylopoulos, University of Trento, Italy
• Bashar Nuseibeh, Lero University of Limerick, Ireland
• Mauro Pezzè, University of Lugano, Switzerland
• Wilhelm Schäfer, University of Paderborn, Germany
• Ladan Tahvildari, University of Waterloo, Canada
• Thaís Vasconcelos Batista, Universidade Federal do Rio Grande do Nortte, Brazil
• Danny Weyns, Katholieke Universiteit Leuven, Belgium
• Andrea Zisman, City University London, UK

SEAMS Steering Committee

	Dr. Betty H.C. Cheng, Michigan State University, USA Betty H.C. Cheng is a Professor of Computer Science and Engineering at Michigan State University. Her research and teaching interests include formal methods for software engineering, component-based software development, object-oriented analysis and design, embedded systems development, dynamically-adaptive systems, visualization, and distributed computing. She was awarded a Faculty Fellowship from the California Institute of Technology and the NASA Jet Propulsion Laboratory in 1993 to apply newly developed requirements analysis and design techniques to a portion of the Shuttle software. In 1998, she spent her sabbatical working with the Motorola Software Labs investigating automated analysis techniques of specifications of telecommunication systems. Dr. Cheng is a co-founder of the Software Engineering and Network Systems Laboratory that currently supports 6 faculty members and their graduate students. Her research has been funded by NSF, DARPA, NASA, ONR, EPA, USDA, and numerous industrial organizations. She is Program Chair of SEAMS 2011.
	Dr. Rogério de Lemos, University of Kent, UK Rogério de Lemos is a Lecturer in Computing Science at the University of Kent since 1999. During 2009, he was Invited Assistant Professor at the Department of Informatics Engineering, University of Coimbra, Portugal. Before joining Kent, he was a Senior Research Associate at the Centre for Software Reliability (CSR) at the University of Newcastle upon Tyne. His main research areas are in software architectures for dependable systems, and software engineering for self-adaptive software systems. He was General Chair of SEAMS 2010.
	Dr. David Garlan, Carnegie Mellon University, USA David Garlan is a Professor in the School of Computer Science at Carnegie Mellon University, where he leads several research projects and is the Director of Professional Software Engineering Programs.   His research interests include: software architecture, pervasive computing, self-healing systems, applied formal methods, software development environments.
	Dr. Holger Giese, University of Potsdam, Germany Holger Giese heads the Systems Analysis and Modeling research group. The team focuses on model-driven software development for software-intensive systems. This includes the UML-based specification of flexible systems with samples and components, approaches to the formal verification of these models and approaches to the synthesis of models. The group also looks at the transformations of models, code generation concepts for structure and behavior for models and, in general, the problem of the integration of models in model-driven software development. He is General Chair of SEAMS 2011.
	Dr. Marin Litoiu, York University, Canada Marin Litoiu is an Associate Professor at York University in Toronto, Ontario, Canada. Until 2008 he was a member of the Center for Advanced Studies, IBM Toronto Laboratory where he led the research programs in Autonomic Computing, System Management and Software Engineering. He was also the Chair of the Board of CSER, a Canadian Consortium for Software Engineering Research. He was co-organizer of the ICSE workshops ACSE 2003, ACSE 2004, DEAS 2005, SEAMS 2007, and SEAMS 2008 and of the IBM CASCON Workshop Series on Engineering Autonomic Systems 2004-2008. Prior to joining IBM (1997), he was a faculty member with the Department of Computers and Control Systems, University Politechnica of Bucharest. Dr. Litoiu's other research interests include distributed objects; high performance software design; performance modeling, performance evaluation and capacity planning for distributed and real time systems. He was Program Chair of SEAMS 2008.
	Dr. Jeff Magee, Imperial College London, UK Jeff Magee is Head of the Department of Computing at Imperial College London. His research is primarily concerned with the software engineering of distributed systems, including design methods, analysis techniques, operating systems, languages and program support environments for these systems. His work on Software Architecture has lead to the commercial use by Phillips of the Architecture Description language Darwin in their next generation of consumer television products. He is the author of over 80 refereed conference and journal publications and has written a book on concurrent programming entitled “Concurrency - State models and Java programs.” He was co-editor of the IEE Proceedings on Software Engineering and is currently chair of the International Conference on Software Engineering Steering Committee. He is a Chartered Engineer and a member-at-large of the ACM SIGSOFT committee. He was awarded the BCS 1999 Brendan Murphy prize for the best paper in Distributed systems and the IEE Informatics Premium prize for 1998/99 for a paper on Software Architecture. He was Program Chair of SEAMS 2009.
	Dr. Hausi A. Müller, University of Victoria, Canada Hausi A. Müller is Associate Dean Research, Faculty of Engineering and Professor in the Department of Computer Science at the University of Victoria, British Columbia, Canada. He was the founding Director of BSENG, a CEAB accredited Bachelor of Software Engineering degree program in the Faculty of Engineering. He is a Visiting Scientist at CAS, the Center for Advanced Studies at the IBM Toronto Laboratory and SEI, the Carnegie Mellon Software Engineering Institute. In 2006 he received the IBM CAS Faculty Fellow of the Year Award, the CSER Outstanding Leadership Award, and Stevens Citation for his many contributions to the software reverse engineering community. For over a decade he has been a principal investigator and Chair of the Technical Steering Committee of CSER, a Canadian Consortium for Software Engineering Research. Together with his research group and in collaboration with IBM Canada and CA Canada he investigates methods, models, architectures, and techniques for autonomic and self-adaptive systems, for application monitoring and diagnostics, and for service-oriented systems. He was GC for ICSE 2001 and IWPC-2003 and PC Chair for CASCON 2003. He was co-organizer of the ICSE workshops ACSE 2003, ACSE 2004, DEAS 2005 and SEAMS 2006. He serves on the Editorial Board of Software Maintenance and Evolution and Software Process: Improvement and Practice. He served on the Editorial Board of IEEE Transactions on Software Engineering (TSE) 1994-2000, 2005-2009). He is Chair of the IEEE Technical Council on Software Engineering (TCSE). He is General Chair of SEAMS 2012.
	Dr. Mauro Pezzè, University of Milano Bicocca and University of Lugano Mauro Pezzè is Professor of Software Engineering at the University of Milano Bicocca and visiting Professor of Software Engineering at the University of Lugano. Dr. Pezzè is serving as associate editor of ACM Transactions on Software Engineering, and has served as technical program chair of the 2006 ACM International Symposium on Software Testing and Analysis. He was Program Chair of SEAMS 2010. He has been technical lead for several multi-year international research and development projects in close collaboration with leading European information and communication companies. .
	Dr. Richard N. Taylor, University of California at Irvine , USA Richard N. Taylor is a Professor of Information and Computer Sciences at the University of California at Irvine and a member of the Department of Informatics (of which he was chair from its founding in January of 2003 through June, 2004). His research interests are centered on design and software architectures, especially event-based and peer-to-peer systems and the way they scale across organizational boundaries. Professor Taylor is the Director of the Institute for Software Research, which is dedicated to fostering innovative basic and applied research in software and information technologies through partnerships with industry and government. He has served as chairman of ACM's Special Interest Group on Software Engineering, SIGSOFT, chairman of the steering committee for the International Conference on Software Engineering, and was general chair of the 1999 International Joint Conference on Work Activities, Coordination, and Collaboration and the 2004 International Symposium on the Foundations of Software Engineering. He is the General Chair for the 2011 International Conference on Software Engineering, to be held in Honolulu, Hawaii, May 2011.

SEAMS 2012 in Zürich, Switzerland

SEAMS 2011 in Hawaii, USA

SEFSAS Dagstuhl 2010

SEAMS 2010 in Cape Town, South Africa

SEAMS 2009 in Vancouver, British Columbia, Canada

SEAMS 2008 in Leipzig, Germany

SEFSAS Dagstuhl 2008

SEAMS 2007 in Minneapolis, Minnesota, USA

SEAMS 2006 in Shanghai, China

DEAS 2005 in St. Louis, Missouri, USA

WOSS 2004 in Newport Beach, California, USA

WOSS 2002 in Charleston, South Carolina, USA

The SEAMS 2012 is a continuation of a number of successful symposia and workshops in the area of self-managing systems over the past decade. In 2011 SEAMS evolved from a workshop to a symposium. SEAMS 2006-11 were ICSE workshops. SEAMS was founded during the ICSE 2005 Workshop on Design and Evolution of Autonomic Application Software (DEAS). SEAMS grew out of the ICSE workshops DEAS and WADS (Workshop on Architecting Dependable Systems) as well as the FSE Workshops on Self-Healing Systems (WOSS). The goal of the SEAMS organizers was to consolidate interest in the ICSE and FSE communities on the software engineering aspects of autonomic, self-adaptive, self-managing, self-healing, self-optimizing and self-configuring. The SEAMS conference series will continue to discuss progress and challenges in this important area of software engineering.

There are several related conferences and workshops including IEEE International Conference on Autonomic Computing(ICAC); IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO); Workshop on Architecting Dependable Systems (WADS); ACM International Conference on Autonomic Computing and Communication Systems (Autonomics); IBM CASCON Workshop Series on Engineering Autonomic Systems; and Dagstuhl SEFSAS workshops.

For more details please refer to the following websites:

• http://www.self-adaptive.org/
• SEAMS Exemplar Site