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.

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