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

Moins le réseau moléculaire est compact et plus les molécules sont liées entre elles !

Sur une surface inerte de silicium, une même molécule peut conduire à plusieurs formes cristallines. Pour certaines molécules, le cristal le plus stable, qui présente le plus grand nombre de liaisons chimiques entre molécules, est aussi celui qui correspond à une phase peu dense. Ce résultat contre-intuitif a été obtenu par des chercheurs de l’IEMN et de l’Institut FEMTO-ST en combinant observations au microscope à effet-tunnel et simulations numériques. Publié dans Physical Review Letters, il démontre l’influence de la surface sur le contrôle du degré de compacité et de coordination des réseaux moléculaires.
Lire la suite
Premier prototype européen de robot endoscopique pour la micro-chirurgie laser des cordes vocales

Dans le cadre d’un projet européen collaboratif, l’institut FEMTO-ST et le CHRU de Besançon, avec leurs partenaires, relèvent un nouveau défi microtechnique, au service de la santé, à travers des essais précliniques du premier robot endoscopique pour la micro-chirurgie laser des cordes vocales.
Lire la suite
Moins le réseau moléculaire est compact et plus les molécules sont liées entre elles !

Des chercheurs de l’IEMN et de l’institut FEMTO-ST ont étudié l’influence de la surface sur la compacité et la coordination de réseaux moléculaires. Bien que contre-intuitifs, ces résultats, publiés dans la revue Physical Review Letters, démontrent que le réseau le plus dense n’est pas celui dans lequel les molécules sont le plus liées entre elles.
Lire la suite
La microrobotique, science fiction pour Disney, réalité pour FEMTO-ST

A l'occasion de la sortie du film "Les nouveaux héros", la nouvelle production issue des studios d'animation de Disney, l'institut FEMTO-ST sort son nouveau microrobot samedi 14 février 2015 à 15h30 au cinéma Mégarama à Besançon
Lire la suite
Percipio Robotics, prix de l'innovation au concours national de robotique

Start-up issue de l'institut FEMTO-ST, l’entreprise Percipio Robotics, qui commercialise des robots de micromanipulation, est le lauréat national du prix de l’innovation de la robotique collaborative décerné par le ministère de l’Economie, de l’Industrie et du Numérique.
Lire la suite
Lancement officiel de l’année internationale de la lumière à l’UNESCO

Lundi 19 et mardi 20° janvier a lieu, au siège de l’UNESCO à Paris, le lancement officiel de « l’année internationale de la lumière 2015 ». Cette initiative, portée par John Dudley de l’institut FEMTO-ST, vise à sensibiliser les citoyens du monde entier sur l'importance, dans leur vie quotidienne, de la lumière et des technologies qui y sont associées par l’organisation de multiples évènements scientifiques, culturels et artistiques tout au long de l’année
Lire la suite
Comment mesurer et comprendre le mécanisme de déplacement des cellules du système immunitaire

Fruit d’une collaboration interdisciplinaire portée par l’Institut de Pharmacologie et de Biologie Structurale (IPBS-CNRS/Toulouse), le LAAS et impliquant l’institut FEMTO-ST, le résultat de ces travaux de mesure développés à l’échelle nanométrique a été publié dans la prestigieuse revue « Nature communications ».
Lire la suite
Création de la Start-up AFULub

La start-up AFULub fait son entrée dans l'incubateur.
Lire la suite
Publication dans Nature Communications

Novembre 2014 :

parution de l'article

« Protrusion force microscopy reveals oscillatory force generation and mechanosensing activity of human macrophage podosomes »
Lire la suite
On a marché sur les braises !

Un dimanche presque comme les autres à la Fabrikà sciences. Dimanche 14 décembre 2014, John Dudley (chercheur à l'Institut FEMTO-ST) proposait au public de marcher sur les braises.
Lire la suite