FACS: Formal Aspects of Component Software



Past:   Proceedings on DBLP

Future:  Post a CFP for 2019 or later   |   Invite the Organizers Email


All CFPs on WikiCFP

Event When Where Deadline
FACS 2018 15th International Conference on Formal Aspects of Component Software
Oct 10, 2018 - Oct 12, 2018 Pohang, Korea Jun 15, 2018 (Jun 8, 2018)
FACS 2017 14th International Conference on Formal Aspects of Component Software
Oct 10, 2017 - Oct 13, 2017 Braga, Portugal May 26, 2017 (May 19, 2017)
FACS 2016 International Conference on Formal Aspects of Component Software
Oct 19, 2016 - Oct 21, 2016 Besançon, France Jul 1, 2016
FACS 2015 12th International Conference on Formal Aspects of Component Software
Oct 14, 2015 - Oct 16, 2015 Rio de Janeiro Jul 12, 2015
FACS 2014 11th International Symposium on Formal Aspects of Component Software
Sep 10, 2014 - Sep 12, 2014 Bertinoro, Italy Jun 16, 2014 (Jun 9, 2014)
FACS 2013 The 10th International Symposium on Formal Aspects of Component Software
Oct 28, 2013 - Oct 30, 2013 Nanchang, China Jul 15, 2013 (Jul 8, 2013)
FACS 2012 9th International Symposium on Formal Aspects of Component Software
Sep 12, 2012 - Sep 14, 2012 Mountain View, USA Jun 15, 2012 (Jun 8, 2012)
FACS 2011 8th International Symposium on Formal Aspects of Component Software
Sep 14, 2011 - Sep 16, 2011 Oslo, Norway Jun 26, 2011
FACS 2010 7th International Workshop on Formal Aspects of Component Software
Oct 14, 2010 - Oct 16, 2010 Guimarães, Portugal Jul 9, 2010 (Jul 2, 2010)

Present CFP : 2018


Component-based software development proposes sound engineering
principles and techniques to cope with the complexity of
present-day software systems. However, many challenging conceptual and
technological issues remain in component-based software development
theory and practice. Furthermore, the advent of service-oriented and
cloud computing, cyber-physical systems, and the Internet of Things
has brought to the fore new dimensions, such as quality of service and
robustness to withstand faults, which require revisiting established
concepts and developing new ones.

FACS 2018 is concerned with how formal methods can be applied to
component-based software and system development. Formal methods have
provided foundations for component-based software through research on
mathematical models for components, composition and adaptation, and
rigorous approaches to verification, deployment, testing, and certification.

The conference seeks to address the application 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, business
processes, cloud computing, cyber-physical systems, Internet of
Things, and similar artifacts;
* design and verification methods for software components and services;
* composition and deployment: models, calculi, languages;
* formal methods and modeling languages for components and services;
* 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
* components for the Internet of things and cyber-physical systems;
* probabilistic techniques for modeling and verification of
component-based systems;
* model-based testing of components and services;
* case studies and experience reports;
* tools supporting formal methods for components and services.


We solicit submissions, related to the topics mentioned
above, in the following categories:

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).

All submissions must be original, unpublished, and not submitted
concurrently for publication elsewhere. Paper submission is done
via EasyChair at https://easychair.org/conferences/?conf=facs2018.
Papers must be formatted according to the guidelines for Springer LNCS
papers (see http://www.springer.com/lncs).

In addition, we solicit submissions to the Doctoral Track of FACS
2018, in the form of abstracts (3 pages max) concisely capturing work
in progress, research questions, envisaged contributions, and/or
partial results.

Doctoral Track submission deadline: August 5, 2018 (AoE)
Doctoral Track notification: August 15, 2018


All accepted papers in the categories A-D above will appear in the
proceedings of the conference that will be published as a volume
in Springer’s LNCS series.

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


Farhad Arbab (CWI and Leiden University)
Cyrille Artho (KTH Royal Institute of Technology)
Kyungmin Bae (chair) (Pohang University of Science and Technology)
Luis Barbosa (University of Minho)
Simon Bliudze (INRIA Lille)
Roberto Bruni (University of Pisa)
Zhenbang Chen (National University of Defense Technology)
Yunja Choi (Kyungpook National University)
Jose Luiz Fiadeiro (Royal Holloway University of London)
Xudong He (Florida International University)
Sung-Shik Jongmans (Open University of the Netherlands)
Yunho Kim (Korea Advanced Institute of Science and Technology)
Olga Kouchnarenko (FEMTO-ST & University of Franche-Comte)
Ivan Lanese (University of Bologna/INRIA)
Shaoying Liu (Hosei University)
Zhiming Liu (Southwest University, Chongqing)
Markus Lumpe (Swinburne University of Technology)
Eric Madelaine (INRIA Sophia Antipolis)
Hernan Melgratti (University of Buenos Aires)
Sun Meng (Peking University)
Jose Meseguer (University of Illinois, Urbana-Champaign)
Kazuhiro Ogata (Japan Advanced Institute of Science and Technology)
Peter Olveczky (chair) (University of Oslo)
Catuscia Palamidessi (INRIA Saclay and LIX)
Jose Proenca (University of Minho)
Gwen Salaun (University of Grenoble Alpes)
Francesco Santini (Univerity of Perugia)
Antonio Vallecillo (University of Malaga)
Daniel Varro (Budapest University of Technology and Economics)
Shoji Yuen (Nagoya University)
Min Zhang (East China Normal University)

Related Resources

CGDEIJ 2018   Computer Game Development and Education
ModComp 2018   5th International Workshop on Interplay of Model-Driven and Component-Based Software Engineering @ MoDELS 2018
IJESA 2018   International Journal of Embedded Systems and Applications
icaase 2018   International Conference on Advanced Aspects of Software Engineering
ICAISE--IEEE, EI and Scopus 2018   2018 International Conference on Artificial Intelligence and Software Engineering (ICAISE 2018)--IEEE, EI Compendex and Scopus
FM 2018   22nd International Symposium on Formal Methods
IJIST 2018   The International Journal of Information Science & techniques
SEFM 2018   The 16th International Conference on Software Engineering and Formal Methods
ICSEA 2018   The Thirteenth International Conference on Software Engineering Advances
ESEM 2018   Empirical Software Engineering and Measurement