[ecoop-info] FACS'16 CFP

Wed Jun 15 17:43:21 CEST 2016

/* sorry for multiple postings  */

~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
                                 FACS'16
   International Conference on Formal Aspects of Component Software
                    Besançon, France, October 19-21, 2016
                       More information:
http://events.femto-st.fr/facs2016/en <http://events.femto-st.fr/facs2016/en>
__________________________________________________________________

                               Important Dates
       Abstract submission deadline: June 24, 2016
       Paper submission deadline: July 1, 2016
       Notification: August 24, 2016
       Final version due: September 7, 2016

       Workshop proposal deadline: June 5, 2016
       Notification for workshops: June 19, 2016
       Doctoral Track submission deadline: September 1, 2016
       Doctoral Track notification: September 9, 2016
__________________________________________________________________

                                          Scope

The component-based software development approach has emerged as a promising
paradigm to cope with the complexity of present-day software systems by
bringing sound engineering principles into software engineering. However, many
challenging conceptual and technological issues still remain in component
-/service-based software development theory and practice. Moreover, the
advent of cloud computing, cyber-physical systems, and of the Internet of
things has brought to the fore new dimensions, such as 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 2016 is concerned with how formal methods can be used to make
component-based and service-oriented software development succeed. Formal methods have
provided a foundation for component-based software by successfully
addressing challenging issues such as mathematical models for components,
composition and adaptation, or rigorous approaches to verification, deployment, testing, and
certification.

__________________________________________________________________

                                     Topics

The conference seeks to address the applications of formal methods in all
aspects of software components and services, with a particular focus on
cyber-physical systems and the Internet of things. Specific topics include,
but are not limited to:

* formal models for software components and their interaction
* formal aspects of services, service oriented architectures, and
business processes
* formal methods and modeling languages for components and services
* model based and GUI based testing 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
* industrial or experience reports, and case studies
* update and reconfiguration of component and service architectures
* component systems evolution and maintenance
* autonomic components and self-managed applications
* formal and rigorous approaches to software adaptation and
self-adaptive systems

Application areas include cyber-physical systems, as well as real-time,
safety-critical, secure and/or embedded 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);

In addition, we solicit submissions to the Doctoral Track of FACS 2016,
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. Papers should be formatted
according to the guidelines for Springer LNCS papers. Revised versions of accepted
papers 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 will be
devoted to extended versions of selected papers from FACS 2016.

__________________________________________________________________

Program Chairs:

  Olga Kouchnarenko, University of Burgundy-Franche-Comté, France
  Ramtin Khosravi, University of Tehran, Iran

Steering Committee:

  Farhad Arbab, CWI and Leiden University, The Netherlands
  Luis Barbosa, Universidade do Minho, Portugal
  Christiano Braga, Universidade Federal Fluminense, Brazil
  Carlos Canal, University of Malaga, Spain
  JosÃ© Luiz Fiadeiro, Royal Holloway, University of London, UK
  Ramtin Khosravi, University of Tehran, Iran
  Olga Kouchnarenko, University of Burgundy-Franche-Comté, France
  Zhiming Liu, Birmingham City University, UK
  Markus Lumpe, Swinburne University of Technology, Australia
  Eric Madelaine, Inria, France
  Peter Csaba Olveczky, University of Oslo, Norway
  Bernhard Schatz, TU Munchen, Germany

FACS 2016 Program Committee (to be completed):

  Farhad Arbab, CWI and Leiden University, The Netherlands
  Luis Barbosa, Universidade do Minho, Portugal
  Borzoo Bonakdarpour, McMaster University, Canada
  Christiano Braga, Universidade Federal Fluminense, Brazil
  Carlos Canal, University of Malaga, Spain
  Dang Van Hung, Vietnam National University, Vietnam
  Ramtin Khosravi, University of Tehran, Iran
  Olga Kouchnarenko, Univ. of Burgundy-Franche-Comté, France
  Zhiming Liu, Birmingham City University, UK
  Markus Lumpe, Swinburne University of Technology, Australia
  Eric Madelaine, INRIA Sophia Antipolis, France
  Hernan Melgratti, University of Buenos Aires, Argentina
  Mohammad Reza Mousavi, Halmstad University, Sweden
  Peter Csaba Ã–lveczky, University of Oslo, Norway
  Wojciech Penczek, Institute of Computer Science PAS, Poland
  Michel Reniers, TU Eindhoven, The Netherlands
  Romain Rouvoy, Univ. Lille, France
  Eric Rutten, Inria Grenoble Rhone-Alpes, France
  Gwen Salaun, Inria Grenoble Rhone-Alpes, France
  Francesco Santini, Univ. Perugia, Italy
  Bernhard Schatz, TU Munchen, Germany
  Marjan Sirjani, Reykjavik University, Iceland
  Frits Vaandrager, Radboud University, The Netherlands
  Tao Yue, Simula Research, Norway
  Naijun Zhan, Institute of Software, China

Workshop Chair:

  Samir Chouali, University of Burgundy-Franche-Comté, France

FACS 2016 Organizing Committee:

  Olga Kouchnarenko, University of Burgundy-Franche-Comté, France
  Samir Chouali, University of Burgundy-Franche-Comté, France
  Pierre-Alain Masson, University of Burgundy-Franche-Comté, France
  Jean-Michel Hufflen, University of Burgundy-Franche-Comté, France

More information: http://events.femto-st.fr/facs2016/en <http://events.femto-st.fr/facs2016/en>

-----------
Pierre-Alain Masson - Tel : +33 (0)3.81.66.20.76 Fax : +33 (0)3.81.66.64.50
FEMTO-ST/DISC, 16, route de Gray 25 030 Besançon Cedex FRANCE
UMR 6174, web : http://www.femto-st.fr

-------------- next part --------------
_______________________________________________
events mailing list
events at fmeurope.org
http://fmeurope.hosting.west.nl/mailman/listinfo/events