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

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
Robotic assembly of the smallest house in the world
the handling and assembly capabilities of nanocomponents of the "μRobotex" platform make the buzz on the net and in the international press through the origami manufacturing of a micro-house at the end of an optical fiber whose dimensions are less than the diameter of a hair.
Read more
Nicolas Andreff, receives the scientific award "Charles Defforey" from -Institut de France Foundation
Awarded May 30 under the Dome of the “ (Institut de France) " by Jean-Paul Laumond, a member of the Academy of Sciences, this Grand Prize crowns the work & skills of Nic
Read more
International Day of Light 2018
Following the success of the International Year of Light, which highlighted the importance of light-based science and technology and generated more than 13,000 activities in 147 countries, UNESCO proclaimed May 16 as the International Day of Light.
Read more
Enrico Rubiola honored at IFCS 2018
Enrico Rubiola will receive the W. G. Cady Award at the IFCS 2018 on May 24th.
Read more
L'institut FEMTO-ST partenaire d'un programme européen Marie-Curie H2020 Innovative Training Networ
The department of Optics of the FEMTO-ST research institute in Besançon
in France currently has a vacancy for 2 3-years Ph.D positions working in
the development of mid-infrared and ultraviolet supercontinuum fiber sources within the
Read more
Special issue of Comptes Rendus Physique on phononic crystals
The May 2016 issue of Comptes Rendus Physique (an international peer-reviewed journal of the French Academy of Sciences), is devoted to phononic crystals. This special issue was coordinated by Vincent Laude.
Read more
Paper prize at the international conference VPPC 2014
At the International IEEE "Vehicle Power and Propulsion Conference" conference held in Coimbra, Portugal from 27 to 30 October 2014, “Hybrid & Fuel Cell Systems” Research Team of Femto-ST Institute won the Paper Prize for the paper titled “Energy management of an hybrid electrical vehicule in degraded operation”
Read more
A book about flexible robotics co-written by Nicolas Chaillet
The objective of the book "Flexible Robotics: Applications to Multiscale Manipulations" is to provide those interested in the field of flexible robotics with an overview of several scientific and technological advances in the practical field of robotic manipulation.
Read more