The institute
FEMTO's news

You are here

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.

FACS 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

  • 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
  • ThermoBot : micro robots that walk on water

    Imagine, a robot, the size of a fly, walking on the surface of the water and pursued by a laser beam. One could believe in a science fiction scenario...

    Read more
  • Recognizing liars from the sound of their voice ?

    Scientists have prouved that the intensity, speed and pitch of the speaker's voice automatically influences our perception of the reliability and honesty of his or her speech. This work is published in the prestigious journal "Nature Communications"

    Read more
  • European project for the development of sustainable and high-performance bio-based composites

    Led by FEMTO-ST and supported by the University of Franche-Comté, the « SSUCHY » R&D project which brings together 17 European partners is entering its final phase. The project is now quite advanced.

    Read more
  • Understanding the cytotoxicity of metallic nanoparticles

    A recent study published in the journal "Chemical Science" and involving FEMTO-ST gives new insights into the understanding of the mechanisms of DNA alteration in cells by metallic nanoparticles.

    Read more
  • Artificial intelligence for next-generation ultrafast photonics

    How can machine learning and associated methods improve the development of next-generation laser sources and revolutionize applications where ultrafast light plays a central role?

    Read more

Pages