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

Imaging quantum interference of entangled photon pairs of extremely high dimensionality
Researchers from the Optics Department have developed an imaging device allowing the spatial and temporal resolution of the phenomenon of quantum interference between pairs of entangled photons of extremely high dimensionality.
Read more
Fei GAO Receives IEEE J.D. Irwin Early Career Award
As a member of the SHARPAC team and Deputy Director of FEMTO-ST, Fei Gao has been recognized by the IEEE IES Society for his outstanding work in improving the reliability of hydrogen electric powertrains.
Read more
Daniel HISSEL, winner of the CNRS 2020 Innovation Medal
Full professor at the University of Franche-Comté, researcher at FEMTO-ST Institute and co-founder of a start-up on efficient hydrogen fuel cells, Daniel HISSEL is one of the four national winners of the CNRS 2020 Innovation Medal.
Read more
A new source of infrared light thanks to fibre optic cascades
Scientists from FEMTO-ST Institute and McGill University (Montreal, Canada) have designed and developed in collaboration with three French companies a light source covering the entire mid-infrared wavelength range: from 2 to 10 µm.
Read more
Topological crystals to guide waves on the water surface
Topological crystals have the property of being conductive on their surface, but insulating in their volume which allows very efficient wave guidance by engineering the structure of these materials, generally arranged in a hexagonal symmetry, inspired by the graphene.
Read more
An innovative solution to detect pollutants in the subsoil
Researchers from FEMTO-STinstitute and the company TOTAL SA have succeeded in detecting organic pollutants with methods that did not require sampling and have been able to monitor the evolution of the pollution of the subsoil over periods ranging up to several years.
Read more
FEMTO-ST is closed
Within the framework of Coronavirus (COVID-19) epidemic and following the measures announced by the President of the French Republic, all the premises of our laboratory in Besançon, Belfort and Montbéliard cities are closed to the public from this Tuesday March 17.
Read more
I-PhD Innovation Competition: 2 winners from FEMTO-ST
Maya Geagea (ANIO-PAC project: micro fuel cells), and Gaël Matten (VIBISCUS project: noise reduction system), special jury prize, are winners of the 2019 innovation awards.
Read more
Sarah Benchabane winner of an ERC Consolidator grant 2019
CNRS Research Fellow at the FEMTO-ST Institute, Sarah is awarded with a prestigious €2M European Research Council (ERC) grant for her project : Nanophonics for Quantum Information Processing.
Read more
Stardust Odyssey : A new world record !
Discover the smallest volume character ever animated in stop-motion (frame by frame) through a short film made thanks to FEMTO-ST's high-tech robotic equipments and researchers.
Read more