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

  • IEEE ICEMS Conference : Best paper award

    Researchers from SHARPAC team/ENERGY department of FEMTO-ST institute received the Best Paper Award at the IEEE International Conference on Electrical Machines and Systems for their work on the influence of electrical conductivity on eddy-current losses in electrical machines.

    Read more
  • Joint laboratories CNRS-Companies 2021

    FEMTO-ST and AUREA Technology honored at the LAB COM CNRS event in Paris on November 29 and 30

    Read more
  • Nanorobotics of the future: FEMTO-ST enters the 4th dimension

    For the first time, nanorobotic structures have been realized by folding in 3 dimensions a multilayer membrane and proposing their actuation by an electro-thermo mechanical principle.

    Read more
  • Chaos and rogue waves in a supercontinuum laser

    In collaboration with the Universities of Tampere, Aston and ICB laboratory, FEMTO-ST researchers have made significant headway in the ongoing effort to understand the ultrafast chaotic nature of lasers, elucidating for the first time their noise-like pulse operation.

    Read more
  • Julio Andrés Iglesias Martínez receives the Best Student Award at IEEE Ultrasonic Symposium

    His work consists in achieving three-dimensional phononic crystals at the micro-scale with record band-gap width.

    Read more
  • Lessons on textile history and fibre durability from a 4,000-year-old Egyptian flax yarn

    Published in the journal Nature Plants, work involving FEMTO-ST scientists is helping to propose ever more efficient and resistant materials based on flax fibers.

    Read more
  • Programmable matter: world record attempt

    A FEMTO-ST research team is trying to get the record for the largest number of autonomous light blocks assembled in a structure approved by the "Guiness World Record".

    Read more
  • Rodolphe Boudot receives the 2020 EFTF Young Scientist Award

    The IEEE EFTF-IFCS 2021 is a joint conference of the European Frequency and Time Forum and the IEEE International Frequency Control Symposium. The 2021 joint conference, originally planned for Paris in April, has been converted to a virtual conference from 7th to 17th July, 2021

    Read more
  • Giacomo Clementi, grand prize i-PhD

    For his work on Lithium Niobate (LiNbO3), which has led to the design of original and efficient devices for the recovery of vibratory energy by the piezoelectric effect, in particular for connected objects.

    Read more
  • Understanding energy transfers during photosynthesis

    Using three pigments manipulated by scanning tunneling microscopy, researchers from IPCMS and FEMTO-ST are studying energy transfers between molecules to gain a finer understanding of the photosynthesis mechanism in plants. This work is published in Nature Chemistry.

    Read more

Pages