The institute
FEMTO's news

You are here

FACS 2016 - The 13th International Conference on Formal Aspects of Component Software

The 13th edition of the international conference on "Formal Aspects of
Component Software" (FACS), organized by the DISC department, will take place in Besançon, from 19th to 21st october 2016.

FACS 2016


Context

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 componentbased
software by successfully addressing challenging issues such as mathematical models for components, composition and adaptation, or rigorous approaches to verification, deployment, testing, and certification.

Click here for more information. (pdf, 774 Ko)


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
- 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
- Formal and rigorous approaches to software adaptation and self-adaptive systems


Important dates

Abstract submission deadline : June 24, 2016             Workshop proposal deadline : June 5, 2016
Paper submission deadline : July 1, 2016                    Notification for workshops : June 19, 2016
Notification : August 24, 2016                                     Doctoral Track submission deadline : September 1, 2016
Final version due : September 7, 2016                         Doctoral Track notification : September 9, 2016

  • Laser nanofabrication: nanopillars emerging from sapphire

    Femtosecond lasers are well known for their ability to cut materials with extreme precision and texture surfaces. A FEMTO-ST team has achieved a world first, opening up a new use for these lasers.

    Read more
  • Best paper award on BIOSEC 2024

    Raniya Ketfi, Zeina Al Masry, and Noureddine Zerhouni have been awarded the Best Paper Prize at the 17th International Joint Conference on Biomedical Engineering Systems and Technologies

    Read more
  • Mayra Yucely Beb Caal awarded "Female Science Talents Intensive Track Champion 2024"

    A PhD student in FEMTO-ST's micro and nanorobotics team, she is one of 20 talented women from 15 countries, each making a significant contribution in their scientific field.

    Read more
  • Two Best Paper awards at Photonics West

    Mathilde Hary and Maxime Romanet win two of the 5 awards for best oral presentations at the world's leading optics-photonics conference

    Read more
  • John Dudley awarded EPS Prize for Research into the Science of Light

    This award – jointly with Goëry Genty from Tampere University – recognizes their pioneering contributions to ultrafast nonlinear fibre optics.

    Read more
  • Michaël Gauthier, new director of FEMTO-ST

    A new team is taking over the management of the institute for a 5-year term starting in January 2024.

    Read more
  • Nadia YOUSFI STEINER awarded the Blondel 2023 medal

    This medal recognizes the decisive contributions of her work on the resilience of fuel cell and hydrogen systems

    Read more
  • Maxence Leveziel wins CNRS robotics thesis award

    His work has led to the development of a miniature robot capable of manipulating micrometric objects at unprecedented speeds.

    Read more
  • Thibaut Sylvestre elected Optica Fellow 2024

    Thibaut is one of the 129 newly elected Optica Fellows, honored for his pioneering contributions to fiber optics and fiber lasers

    Read more
  • New Academic Year for the EIPHI Graduate School

    200 new students join its 16 international master's programs in 2023-2024

    Read more

Pages