[fg-arc] CfP: FACS 2017 - 14th International Conference on Formal Aspects of Component Software

[Jose Proenca]

---------------------------------------------------------------------
                     First Call for Papers
                            FACS'17
14th International Conference on Formal Aspects of Component Software
                Braga, Portugal, October 10-13, 2017
                    http://facs2017.di.uminho.pt
---------------------------------------------------------------------


IMPORTANT DATES

  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


SCOPE

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.


TOPICS

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 
  systems
- 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


SUBMISSIONS

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 http://www.springer.com/lncs.

Please use the easychair link below to submit your paper:
  https://easychair.org/conferences/?conf=facs2017

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.

Publication:
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.


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

STEERING COMMITTEE
  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, Birmingham City University, UK
  Markus Lumpe, Swinburne University of Technology, Australia
  Eric Madelaine, Inria, France
  Peter Olveczky University of Oslo, Norway
  Bernhard Schatz, TU Munchen, Germany

PROGRAM COMMITTEE
  Paolo Arcaini, Charles University, Czech Republic
  Kyungmin Bae, Carnegie Mellon University, USA
  Luiis Barbosa, INESC TEC & University of Minho, Portugal
  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


More information: http://facs2017.di.uminho.pt