posted by organizer: simpple || 7969 views || tracked by 23 users: [display]

FACS 2017 : 14th International Conference on Formal Aspects of Component Software


Conference Series : Formal Aspects of Component Software
When Oct 10, 2017 - Oct 13, 2017
Where Braga, Portugal
Abstract Registration Due May 19, 2017
Submission Deadline May 26, 2017
Notification Due Jul 17, 2017
Final Version Due Jul 31, 2017
Categories    formal methods   software engineering   service-oriented computing   component-based systems

Call For Papers

14th International Conference on Formal Aspects of Component Software
Braga, Portugal, October 10-13, 2017

All updates on

- Catuscia Palamidessi
INRIA Saclay, Ile-de-France, France
- David Costa
Fredhopper & CWI, Amsterdam, the Netherlands

Abstract submission deadline: May 19, 2017
Paper submission deadline: May 26, 2017
Notification: July 17, 2017
Final version due: July 31, 2017

Doctoral Track submission deadline: July 25, 2017
Doctoral Track notification: August 2, 2017


The component-based software development approach has emerged as a promising
paradigm to cope with an ever increasing complexity of present-day software
solutions by bringing sound production and engineering principles into
software engineering. However, many conceptual and technological issues
remain in component-based software development theory and practice that pose
challenging research questions. Moreover, the advent of cloud computing,
cyber-physical systems, and of the Internet of Things has brought to the
fore new dimensions. This include quality of service, reconfiguration and
robustness to withstand inevitable faults, which require established
concepts to be revisited and new ones to be developed in order to meet the
opportunities offered by those architectures.

FACS 2017 is concerned with how formal methods can or should be used to make
component-based software development succeed. Formal methods consist of
mathematics-based techniques for the specification, development, and
verification of software and hardware systems. They have been shown to
provide a strong foundation for component-based software by successfully
addressing challenging issues such as mathematical models for components,
composition and adaptation, and rigorous approaches to verification,
deployment, testing, and certification.

The objective of FACS 2017 is to bring together researchers and
practitioners in the areas of component software and formal methods in order
to promote a deeper understanding of the component-based software
development paradigm and its applications.


The conference seeks to address the applications of formal methods in all
aspects of software components and services. FACS aims at developing a
community-based understanding of relevant and emerging research problems
through formal paper presentations and lively discussions. Specific topics
include, but are not limited to:

- formal models for software components and their interaction
- formal methods and modeling languages for components and services
- formal aspects of services, service oriented architectures, SaaS, cloud
computing, and business processes
- model-based and GUI-based design, implementation, and test of components
and services
- composition and deployment: models, calculi, languages
- component/service re-engineering and reuse
- models for QoS and other extra-functional properties (e.g., trust,
compliance, security) of components and services
- formal models for component-based systems with variability
- update and reconfiguration of component and service architectures
- component systems evolution and maintenance
- autonomic components & self-managed applications
- formal and rigorous approaches to software adaptation and self-adaptive
- industrial or experience reports, and case studies in component software
- automated and tool-based approaches to facilitate the use of formal
methods for components and services
- modelling and verification of real-time, probabilistic, and/or hybrid
component-based systems
- components for real-time, safety-critical, secure, and/or embedded systems
- components as enabling technology for the Internet of things and
cyber-physical systems


We solicit high-quality submissions reporting on:
A - original research contributions (18 pages max);
B - applications and experiences (18 pages max);
C - surveys, comparisons, and state-of-the-art reports (18 pages max);
D - tool papers (6 pages max);

Papers should be prepared in LaTeX, adhering to the Springer LNCS format and
Guidelines.For further information please visit

Please use the easychair link below to submit your paper:

Doctoral Track:
In addition, we solicit submissions to the Doctoral Track of FACS 2017, in
the form of abstracts (3 pages max) concisely capturing work in progress,
related topic, context, research questions, envisaged contributions, and
partial results. All submissions must be original, unpublished, and not
submitted concurrently for publication elsewhere.

All accepted papers will appear in the categories A-D above will appear in
the proceedings of the conference that will be published as a volume in the
Springer's Lecture Notes in Computer Science series. A special issue of the
Science of Computer Programming journal is planned for extended versions of
selected papers from FACS 2017.

Markus Lumpe, Swinburne University of Technology, Australia
Jose Proenca, INESC TEC & University of Minho, Portugal

Farhad Arbab, CWI & Leiden University, The Netherlands
Luis Barbosa, INESC TEC & University of Minho, Portugal
Christiano Braga, Universidade Federal Fluminense, Brazil
Carlos Canal, University of Malaga, Spain
Jose Luiz Fiadeiro, Royal Holloway, University of London, UK
Ramtin Khosravi, University of Tehran, Iran
Olga Kouchnarenko, University of Burgundy-Franche-Comte, France
Zhiming Liu, Southwest University, China
Markus Lumpe, Swinburne University of Technology, Australia
Eric Madelaine, Inria, France
Peter Olveczky University of Oslo, Norway
Bernhard Schatz, TU Munchen, Germany

Paolo Arcaini, Charles University, Czech Republic
Kyungmin Bae, Carnegie Mellon University, USA
LuiĀ­s Barbosa, INESC TEC & University of Minho, Portugal
Simon Bliudze, EPFL, Switzerland
Christiano Braga, Universidade Federal Fluminense, Brazil
Roberto Bruni, University of Pisa, Italy
Carlos Canal, University of Malaga, Spain
Dave Clarke, Uppsala University, Sweden
Javier Camara Moreno, Carnegie Mellon University, USA
Frank de Boer, CWI & Leiden University, the Netherlands
Arbab Farhad, CWI & Leiden University, the Netherlands
Jose-Luiz Fiadeiro, University of London, UK
Rolf Hennicker, Ludwig-Maximilians-Universitat of Munich, Germany
Einar Broch Johnsen, University of Oslo, Norway
Sung-Shik T.Q. Jongmans, Open University of the Netherlands & Radboud
University Nijmegen, the Netherlands
Jose Proenca, INESC TEC & University of Minho, Portugal
Natallia Kokash, LIACS, the Netherlands
Olga Kouchnarenko, Inria/Cassis & University of Franche-Comte, France
Ivan Lanese, University of Bologna & INRIA, Italy & France
Zhiming Liu, Southwest University, China
Alberto Lluch Lafuente, Technical University of Denmark, Denmark
Eric Madelaine, INRIA, France
Lumpe Markus, Swinburne University of Technology, Australia
Mieke Massink, CNR-ISTI, Italy
Hernan Melgratti, Universidad de Buenos Aires, Argentina
Corina Pasareanu, CMU/NASA Ames Research Center, USA
Eric Rutten, INRIA, France
Gwen Salaun, Grenoble INP - INRIA - LIG, France
Francesco Santini, Universita di Perugia, Italy
Marjan Sirjani, Reykjavik University, Iceland
Meng Sun, Peking University, China
Heike Wehrheim, University of Paderborn, Germany
Peter Olveczky, University of Oslo, Norway

Luis Barbosa, INESC TEC & University of Minho, Portugal
Catarina Fernandes, University of Minho, Portugal
Markus Lumpe, Swinburne University of Technology, Australia
Jose Proenca, INESC TEC & University of Minho, Portugal
Paula Rodrigues, INESC TEC, Portugal

More information:

Related Resources

FACS 2022   18th International Conference on Formal Aspects of Component Software
AI 2022   8th International Conference on Artificial Intelligence and Applications
SEFM 2022   20th International Conference on Software Engineering and Formal Methods
IEEE ICSTE 2022   IEEE--2022 12th International Conference on Software Technology and Engineering (ICSTE 2022)
AAMAS 2023   The 22nd International Conference on Autonomous Agents and Multiagent Systems
SANER 2023   The 30th IEEE International Conference on Software Analysis, Evolution and Reengineering
MLDS 2022   3rd International Conference on Machine Learning Techniques and Data Science
AISO 2022   8th International Conference on Artificial Intelligence and Soft Computing
FM 2023   Formal Methods
ESEC/FSE 2023   The ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering