1st CfP: FACS 2017 - 14th International Conference on Formal Aspects of Component Software
CALL FOR PAPERS
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
- Luis 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
More information: http://facs2017.di.uminho.pt