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

Daniel HISSEL awarded as « Fellow » of the IEEE society
Professor in Electrical Engineering at the University of Franche-Comté and researcher at FEMTO-ST, Daniel Hissel has been awarded as for his work on hydrogen systems.
Read more
March 8, International Women's Day
"Freedom, like Science, and Women's Rights, are fundamental issues for Humanity."

FEMTO-ST chooses to display on this day of March 8 (also charged with the serious news of the war in Ukraine), its commitment to each of these three issues.
Read more
First experimental observation of the roton effect in metamaterials
Experiments conducted jointly by FEMTO-ST and KIT demonstrate the control of forward and backward wave propagation by adjusting the frequency.
Read more
FEMTO-ST partner of the Joint Technology Unit "CAPPLAI"
For the development of sensors to control and optimize the performance of dairy processes.
Read more
Happy new year 2022 !
The Management and all the members of FEMTO-ST wish you a year 2022 full of personal and professional satisfactions
Read more
Safa MERAGHNI receives the PEPITE prize in the regional "Female Initiative " competition
Her project is to create a "Smart Medical Assistant" which is an intelligent medical assistance device on a smartphone designed to help doctors in their diagnosis.
Read more
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