FACS 2015 Call for papers
12th International Conference on Formal Aspects of Component Software (FACS 2015)
Rio de Janeiro, Brazil | October 14-16, 2015 | http://facs2015.ic.uff.br
OVERVIEW AND SCOPE
Component-based software development proposes sound engineering principles and techniques to cope with the complexity of software-intensive systems. However, many challenging conceptual and technological issues remain. Furthermore, the advent of service-oriented and cloud computing 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 in order to take advantage of the opportunities offered by those architectures. As software applications themselves become components of wider socio-technical systems, further challenges arise from the need to create and manage interactions, which can evolve in time and space, and rely on resources that can change in various ways.
FACS 2015 is concerned with how formal methods can be used to make component-based development fit for the new architectures and the systems that now pervade the world. 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 development and 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, ensembles, 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;
- model-based and GUI-based testing of 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 systems;
- probabilistic techniques for modeling and verification;
- case studies and experience reports;
- update and reconfiguration of component and service architectures;
- formal and rigorous approaches to software adaptation and self-adaptive systems;
- tools supporting formal methods for components and services.
PAPER SUBMISSION
We solicit high-quality 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).
In addition, we solicit submissions to the Doctoral Track of FACS 2015, 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. Paper submission is done via EasyChair at https://easychair.org/conferences/?conf=facs2015. Papers must be formatted according to the guidelines for Springer LNCS papers.
PUBLICATION
All accepted papers will appear in the pre-proceedings of FACS 2015. 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.
IMPORTANT DATES
- Abstract submission deadline: June 22
- Paper submission deadline: June 28
- Notification: August 28
- Conference: Oct 14-16
INVITED SPEAKERS
- Martin Wirsing Ludwig-Maximilians-University Munich
- David Deharbe Universidade Federal do Rio Grande do Norte
- Renato Cerqueira IBM Research
PROGRAM COMMITTEE CHAIRS
- Christiano Braga Universidade Federal Fluminense
- Peter Olveczky University of Oslo
ORGANIZING COMMITTEE
- Christiano Braga Universidade Federal Fluminense
- Bruno Lopes Universidade Federal Fluminense
- Anamaria Moreira Universidade Federal do Rio de Janeiro
- Diego Brandao CEFET
PROGRAM COMMITTEE
- Dalal Alrajeh Imperial College
- Farhad Arbab CWI and Leiden University
- Cyrille Artho AIST
- Kyungmin Bae Carnegie-Mellon University
- Luis Barbosa Universidade do Minho
- Christiano Braga Universidade Federal Fluminense
- Roberto Bruni Universita di Pisa
- Carlos Canal University of Malaga
- Ana Cavalcanti University of York
- Jose Luiz Fiadeiro Royal Holloway University of London
- Bernd Fischer Stellenbosch University
- Marcelo Frias Buenos Aires Institute of Technology
- Rolf Hennicker Ludwig-Maximilians-Universitat Munchen
- Ramtin Khosravi University of Tehran
- Ivan Lanese University of Bologna/INRIA
- Axel Legay IRISA/INRIA
- Zhiming Liu Birmingham City University
- Alberto Lluch Lafuente Technical University of Denmark
- Markus Lumpe Swinburne University of Technology
- Eric Madelaine INRIA
- Robi Malik University of Waikato
- Hernan Melgratti University of Buenos Aires
- Alvaro Moreira Universidade Federal do Rio Grande do Sul
- Arnaldo Moura Universidade Estadual de Campinas
- Thomas Noll RWTH Aachen University
- Peter Olveczky University of Oslo
- Corina Pasareanu CMU/NASA Ames
- Frantisek Plasil Charles University
- Augusto Sampaio Universidade Federal de Pernambuco
- Camilo Rocha Escuela Colombiana de Ingenieria
- Gwen Salaun Grenoble INP - INRIA - LIG
- Ralf Sasse ETH Zurich
- Bernhard Schatz Technical University Munchen