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

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
International Day of Light on May 16th
This year, the Student Chapter of FEMTO-ST organizes on this occasion a photo contest on the theme ′′ Light phenomena in everyday life ".
Read more
AMAROB labelled Deep Tech company
Spin off of FEMTO-ST, Amarob technologie has received the Deep Tech company label awarded by Bpifrance.
Read more
New platform to support the design and optimization of fuel cell hybride system and battery
Virtual FCS" is the first freely accessible online simulation platform to support fuel cell manufacturers and users.

Supported by a European funding, "Virtual FCS" has for French partner the University of Bourgogne-Franche-Comté through the FEMTO-ST institute and the FC-LAB
Read more