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

by Jose Proenca, Feb. 17, 2017

FACS 2017 will be held in Braga, Portugal, 10-13 October 2017.
http://facs2017.di.uminho.pt

FACS is concerned with how formal methods can or should be used to make component-based software development succeed, taking into account new dimensions brought by the advent of cloud computing, cyber-physical systems, and of the Internet of Things. The objective of this conference 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.

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

  José Proença, INESC TEC & University of Minho, Portugal

STEERING COMMITTEE

  Farhad Arbab, CWI & Leiden University, The Netherlands

  Lui­s Barbosa, INESC TEC & University of Minho, Portugal

  Christiano Braga, Universidade Federal Fluminense, Brazil

  Carlos Canal, University of Malaga, Spain

  José Luiz Fiadeiro, Royal Holloway, University of London, UK

  Ramtin Khosravi, University of Tehran, Iran

  Olga Kouchnarenko, University of Burgundy-Franche-Comté, 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 Schätz, TU München, Germany

PROGRAM COMMITTEE

  Paolo Arcaini, Charles University, Czech Republic

  Kyungmin Bae, Carnegie Mellon University, USA

  Lui­s Barbosa, INESC TEC & University of Minho, Portugal

  Christiano Braga, Universidade Federal Fluminense, Brazil

  Roberto Bruni, University of Pisa, Italy

  Carlos Canal, University of Málaga, Spain

  Dave Clarke, Uppsala University, Sweden

  Javier Cámara Moreno, Carnegie Mellon University, USA

  Frank de Boer, CWI & Leiden University, the Netherlands

  Arbab Farhad, CWI & Leiden University, the Netherlands

  José-Luiz Fiadeiro, University of London, UK

  Rolf Hennicker, Ludwig-Maximilians-Universität 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

  José Proença, INESC TEC & University of Minho, Portugal

  Natallia Kokash, LIACS, the Netherlands

  Olga Kouchnarenko, Inria/Cassis & University of Franche-Comté, 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 Salaün, Grenoble INP - INRIA - LIG, France

  Francesco Santini, Università di Perugia, Italy

  Marjan Sirjani, Reykjavik University, Iceland

  Meng Sun, Peking University, China

  Heike Wehrheim, University of Paderborn, Germany

  Peter Ölveczky, University of Oslo, Norway

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