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

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
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”
Lire la suite
Paper prize lors de la conférence internationale VPPC 2014

Lors de la conférence internationale IEEE « Vehicule Power and Propulsion Conference » qui s’est déroulée à Coimbra au Portugal du 27 au 30 octobre 2014, l’équipe Systèmes Hybride et Systèmes Pile à Combustible »du département Energie de FEMTO-ST a remporté le « Paper Prize » pour son article intitulé « Gestion d'énergie d'un véhicule électrique hybride en fonctionnement dégradé »
Lire la suite
Best Paper Award pour proposer l’interopérabilité des systèmes de communication des armées

L’article présenté fin octobre à Rome par une équipe de FEMTO-ST/ Département Informatique des Systèmes Complexes, a reçu le prix du meilleur article scientifique lors de la conférence européenne du Wireless Innovation Forum. Les résultats présentés portaient sur l’application des méthodes de génération de tests à partir de modèles formels pour vérifier la conformité au standard du logiciel embarqué dans ces équipements, permettant d’assurer ainsi leur interopérabilité.
Lire la suite
Yannick Lefier, vainqueur de la Grande Battle de FEMTO-ST !

Vulgariser ses travaux de recherche avec humour et en moins de 3 minutes. C’est le défi dans lequel se sont lancés huit doctorants de FEMTO-ST qui se sont affrontés à coups de « supers pouvoirs » au cours de cette édition 2014 de la fête de la science. Après une première épreuve qui s’est déroulée à l’UFR-STGI de Belfort, le 9 octobre dernier devant 130 lycéens, Yannick Lefier s’est imposé lors de la finale qui a eu lieu le 12 octobre à Besançon avec 30 % des votes du public pour la présentation de ses travaux en optique… déguisé en grand maître de la lumière karatéka !
Lire la suite
Un nouveau mode de diffusion de la lumière dans de minuscules fibres optiques

Des chercheurs de l'institut Femto-ST en collaboration avec des collègues du Laboratoire Charles Fabry viennent de découvrir un nouveau mode de diffusion de la lumière dans de minuscules fibres optiques 50 fois plus fines qu'un cheveu ! Ce phénomène, qui varie selon l'environnement de la fibre, pourrait être exploité pour concevoir des capteurs innovants et ultra-sensibles. Ces travaux sont publiés le 24 octobre 2014 dans la revue Nature Communications.
Lire la suite