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

  • FEMTO-ST : 2 full professors appointed to the IUF in its class 2022

    Ausrine MARGUERON-BARTASYTE and Daniel HISSEL are among the 164  national laureates appointed to the Institut Universitaire de France (IUF) by the Minister of Higher Education and Research

    Read more
  • Tribute to our colleague Philippe LUTZ

    Our scientific community of Burgundy-Franche-Comté has just suddenly lost Philippe LUTZ, full professor at the University of Franche-Comté and a leading figure in microrobotics and micromechatronics research at the FEMTO-ST laboratory.

    Read more
  • How to create a chemical bond with light?

    The formation of a chemical bond between two molecules often requires an activation process. Light is a stimulus that is particularly interesting

    Read more
  • Best student paper Award for Clément Carlé at the international conférence IFCS-EFTF2022

    This award was obtained in the "Microwave Frequency Standards" category of this major international conference in the field of time-frequency metrology, which took place in Paris from 24 to 28 April 2022.

    Read more
  • Daniel BRUNNER winner of an ERC Consolidator grant 2021

    Daniel BRUNNER is a CNRS researcher at the FEMTO-ST Institute and has been awarded a prestigious European Research Council Cosolidator Grant of 2M € for his INSPIRE project

    Read more
  • Daniel HISSEL awarded as « Fellow » of the IEEE society

    Professor in Electrical Engineering at the University of Franche-Comté and researcher at FEMTO-ST, Daniel Hissel has been awarded as  for his work on hydrogen systems.

    Read more
  • March 8, International Women's Day

    "Freedom, like Science, and Women's Rights, are fundamental issues for Humanity."

    FEMTO-ST chooses to display on this day of March 8 (also charged with the serious news of the war in Ukraine), its commitment to each of these three issues.

    Read more
  • First experimental observation of the roton effect in metamaterials

    Experiments conducted jointly by FEMTO-ST and KIT demonstrate the control of forward and backward wave propagation by adjusting the frequency.

    Read more
  • FEMTO-ST partner of the Joint Technology Unit "CAPPLAI"

    For the development of sensors to control and optimize the performance of dairy processes.                                                                                     

    Read more
  • Happy new year 2022 !

    The Management and all the members of FEMTO-ST wish you a year 2022 full of personal and professional satisfactions

    Read more

Pages