FACS: Formal Aspects of Component Software

FacebookTwitterLinkedInGoogle

 

Past:   Proceedings on DBLP

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

 
 

All CFPs on WikiCFP

Event When Where Deadline
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 : 2015

--------------------------------------------------------------------
Call for Papers

FACS 2015

12th International Conference on Formal Aspects of Component Software

Rio de Janeiro, Brazil, October 14-16, 2015

http://facs2015.ic.uff.br
---------------------------------------------------------------------


* Paper submission deadline July 12. (No pre-submission of abstracts necessary)


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

Paper submission deadline: July 12 (AoE) (extended)
Notification: August 28
Conference: Oct 14-16


INVITED SPEAKERS

Martin Wirsing (Ludwig-Maximilians-University Munich)
Renato Cerqueira (IBM Research)
(Other speakers to be announced.)


PROGRAM COMMITTEE CHAIRS

Christiano Braga (Universidade Federal Fluminense)
Peter Olveczky (University of Oslo)


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)
 

Related Resources

FACS Workshops 2016   Call for Workshop Proposals at FACS 2016 (13th International Conference on Formal Aspects of Component Software)
ICMLSC - ACM 2017   2017 International Conference on Machine Learning and Soft Computing (ICMLSC 2017)--Ei, ISI and Scopus
NFM 2017   The 9th NASA Formal Methods Symposium
FSEN 2017   Fundamentals of Software Engineering
icaase 2016   The 2nd International Conference on Advanced Aspects of Software Engineering (ICAASE’16)
AsiaCCS 2017   Call for paper: ACM Asia Conference on Computer and Communications Security
ISSPIT 2016   The 16th IEEE International Symposium on Signal Processing and Information Technology
ICTAC 2016   13th International Colloquium on Theoretical Aspects of Computing
FM 2016   21st International Symposium on Formal Methods
ENASE 2017   12th International Conference on Evaluation of Novel Approaches to Software Engineering