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

Elodie Pahon is the award winner of "Hydrogen Europe Research young Scientist" in the transport field
This award recognizes her high-level works that aim developping prognosis and smart control approaches dedicated to fuel cell systems.
Read more
Emmanuel RAMASSO, recipient of a « Group Achievement Award » by NASA
For outstanding contributions to the open data initiative by conducting and posting experimental system fault and run-to-failure data sets with exceptional scientific value.
Read more
Chimeras exist...
The American Institute of Physics (AIP) has featured our recent article in a special science highlight, known as a Scilight. Due to its novelty and close connection with ever-present phenomena, reported results are of wide interest to the general public.
Read more
Entrepreneurs-PhD Award in Bourgogne-Franche-Comté: 3 laureates from FEMTO-ST institute
Vladimir Gauthier (CellSelect project), Aliyasin El Ayouch (Metabsorber project), Romain Viala (MICAD project), were rewarded during the regional final which took place on October 16 in Dijon
Read more
« Micron d’or » Award at the international microtechnology trade fair
For one of the most dexterous miniature robots with 7 degrees of freedom, allowing micromanipulation and microassembly in extremely confined spaces
Read more
Polymer-based nanowires
Molecules, salt and light : an easy recipe to provide giant nanowires !
Read more
Optical Neural Networks start to learn...
Work is actively in progress at FEMTO-ST in order to design the photonic architectures dedicated to our future processors that will be computing through artificial intelligence concepts.
Read more
When the light is directed by its magnetic field

FEMTO-ST researchers have discovered a new optical magnetic interaction to direct light fluxes. These works are published in the journal Light: Science and Applications

Read more
Amar Nath Ghosh awarded at OSA Advanced Photonics Congress
Amar Nath Ghosh won the Best student paper award of the OSA Advanced Photonics Congress , Zurich.
Read more
Focus on the innovations of the "hydrogen-energy systems" sector
A few days after the announcement by the government of the launch of a major national hydrogen plan, the Femto-ST institute is organizing on 20 June 2018 at the FCLAB in Belfort, a focus on innovations in the "hydrogen energy systems" sector.
Read more