[TYPES/announce] FACS 2015: Call for papers

[Christiano Braga]

[Apologies should you receive multiple copies of this call.]

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


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			Pontifícia Universidade Católica do Rio de Janeiro
Anamaria Moreira	Universidade Federal do Rio de Janeiro
Diego Brandão		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