posted by system || 8108 views || tracked by 23 users: [display]

FACS 2011 : 8th International Symposium on Formal Aspects of Component Software


Conference Series : Formal Aspects of Component Software
When Sep 14, 2011 - Sep 16, 2011
Where Oslo, Norway
Submission Deadline Jun 26, 2011
Notification Due Aug 9, 2011
Categories    formal methods   software components

Call For Papers

*** Submission extended to June 26 ***
*** Springer LNCS proceedings and Science of Computer Programming special issue ***
*** Jose Meseguer and John Rushby confirmed invited speakers ***

****Aims and Scope

The component-based software development approach has emerged as a promising paradigm to cope with the complexity of present-day software systems by bringing sound engineering principles into software engineering. However, many challenging conceptual and technological issues still remain in component-based software development theory and practice. Moreover, the advent of service-oriented computing has brought to the fore new dimensions, such as quality of service and robustness to withstand inevitable faults, that require revisiting established component-based concepts in order to meet the new requirements of the service-oriented paradigm.

FACS 2011 is concerned with how formal methods can be used to make component-based and service-oriented software development succeed. Formal methods have provided a foundation for component-based software by successfully addressing challenging issues such as mathematical models for components, composition and adaptation, or rigorous approaches to verification, deployment, testing, and certification.

FACS 2011 is the eighth event in a series of events founded by the International Institute for Software Technology of the United Nations University (UNU-IIST).

The symposium seeks to address the applications of formal methods in all aspects of software components and services. Specific topics include, but are not limited to:

* formal models for software components and their interaction
* formal aspects of services, service oriented architectures, and business processes
* design and verification methods for software components and services
* composition and deployment: models, calculi, languages
* formal methods and modeling languages for components and services
* model based and GUI based testing of components and services
* component/service re-engineering and reuse
* models for QoS and other extra-functional properties (e.g., trust, compliance, security) of components and services
* components for real-time, safety-critical, secure, and/or embedded systems
* industrial or experience reports, and case studies
* update and reconfiguration of component and service architectures
* component systems evolution and maintenance
* autonomic components and self-managed applications
* formal and rigorous approaches to software adaptation and self-adaptive systems


We solicit high-quality submissions reporting on:

* A - original research contributions (18 pages max, LNCS format);
* B - applications and experiences (18 pages max, LNCS format);
* C - surveys, comparisons, and state-of-the-art reports (18 pages max, LNCS format);
* D - tool papers (6 pages max, LNCS format);

related to the topics mentioned above.

In addition, we also solicit submissions to the Doctoral Track of FACS 2011, in the form of abstracts (2 pages, LNCS format) concisely capturing PhD-work-in-progress, related theme, context, research questions, envisaged contributions, and partial results.

All submissions must be original, unpublished, and not submitted concurrently for publication elsewhere. Papers should be formatted according to the guidelines for Springer LNCS papers (see this link for information for LNCS authors).

Paper submission will be done electronically via Easychair:

The final version of the paper must be prepared in LaTeX, adhering to the LNCS format.


All accepted papers will appear in the pre-proceedings of FACS 2011. Revised versions of accepted papers in the categories A-D above will appear in the post-proceedings of the symposium that will be published as a volume in the Springer's Lecture Notes in Computer Science series.

The authors of a selected subset of accepted papers will be invited to submit extended versions of their papers to appear in a special issue of the Science of Computer Programming journal.


Program Chairs
Farhad Arbab Leiden University and CWI, The Netherlands
Peter Ölveczky University of Oslo, Norway

Program Committee
Erika Ábrahám RWTH Aachen University, Germany
Farhad Arbab Leiden University and CWI, The Netherlands
Christel Baier Technical University of Dresden, Germany
Luís Barbosa University of Minho, Portugal
Mihaela Bobaru NASA/JPL, USA
Frank de Boer CWI, The Netherlands
Christiano Braga Universidade Federal Fluminense, Brazil
Roberto Bruni University of Pisa, Italy
Carlos Canal University of Málaga, Spain
Francisco Durán University of Málaga, Spain
Rolf Hennicker Ludwig-Maximilians-Universität Munich, Germany
Alexander Knapp Augsburg University, Germany
Zhiming Liu IIST UNU, Macau
Markus Lumpe Swinburne University of Technology, Australia
Eric Madelaine INRIA, Centre Sophia Antipolis, France
Sun Meng Peking University, China
Peter Ölveczky University of Oslo, Norway
Corina Păsăreanu NASA Ames, USA
František Plášil Charles University, Czech Republic
Gwen Salaün Grenoble INP - INRIA, France
Bernhard Schätz fortiss GmbH, Germany
Wolfram Schulte Microsoft Research, Redmond, USA
Nishant Sinha NEC Labs, Princeton, USA
Marjan Sirjani Reykjavik University, Iceland
Volker Stolz University of Oslo, Norway
Carolyn Talcott SRI International, USA
Emilio Tuosto University of Leicester, UK

Steering Committee
Zhiming Liu (coordinator) IIST UNU, Macau, China
Farhad Arbab Leiden University and CWI, The Netherlands
Luís Barbosa University of Minho, Portugal
Carlos Canal University of Málaga, Spain
Markus Lumpe Swinburne University of Technology, Australia
Eric Madelaine INRIA, Centre Sophia Antipolis, France
Peter Ölveczky University of Oslo, Norway
Corina Păsăreanu NASA Ames, USA
Bernhard Schätz fortiss GmbH, Germany

Organizing Committee
Peter Ölveczky University of Oslo, Norway
Lucian Bentea University of Oslo, Norway

Related Resources

FACS 2022   18th International Conference on Formal Aspects of Component Software
AI 2022   8th International Conference on Artificial Intelligence and Applications
FM 2023   Formal Methods
SEFM 2022   20th International Conference on Software Engineering and Formal Methods
TACAS 2023   29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
SANER 2023   The 30th IEEE International Conference on Software Analysis, Evolution and Reengineering
OVERLAY 2022   4th Workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis
FTSCS 2022   8th International Workshop on Formal Techniques for Safety-Critical Systems
ICMLT--Ei, Scopus 2023   2023 8th International Conference on Machine Learning Technologies (ICMLT 2023)--EI Compendex, Scopus
ICAASE 2022   The 5th International Conference on Advanced Aspects of Software Engineering