FACS 2016 - The 13th International Conference on Formal Aspects of Component Software

La 13ème édition de la conférence internationale "Formal Aspects of Component Software" (FACS), organisée par le département du DISC, aura lieu à Besançon du 19 au 21 Octobre 2016.

FACS 2016

Contexte

L'approche - actuellement émergente - de développement de logiciels fondée sur les composants s'appuie sur un paradigme prometteur pour faire face à la complexité des logiciels actuels. Il reste toutefois de nombreux défis, tant conceptuels que techniques, tant théoriques que pratiques. En outre, les systèmes hébergés et l'Internet des objets apportent de nouvelles opportunités et de nouvelles notions, telles que la qualité, la robustesse, les reconfigurations. Ces nouveautés mènent à la révision de beaucoup de concepts.

FACS 2016 traite de l'utilisation de méthodes formelles pour la réalisation avec succès de logiciels et de services fondés sur des composants. De telles méthodes ont donné des modèles mathématiques pour la définition, la composition et l'adaptation de composants. Ils ont aussi donné des approches rigoureuses pour la vérification, le déploiement, le test et la certification.

Pour plus d'info, téléchargez le poster. (pdf, 774 Ko)

Champs d'intérêt

La conférence vise les applications de méthodes formelles dans tous les aspects des composants et services logiciels, avec une attention particulière aux systèmes physiques connectés et à l'Internet des objets. Voici une liste non exhaustive des champs spécifiques :
- modèles, aspects formels et modélisations pour les composants, services, interactions et architectures
- tests de composants et de services fondés sur des modèles et des interfaces graphiques
- modèles pour la compostion, le déploiement et l'étude de propriétés non fonctionnelles (p. ex., confiance, sécurité, etc.)
- évolution, mise à jour, reconfiguration, (auto-)adaptation de systèmes.

Dates importantes

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

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
Strong involvement of FEMTO-ST in the H2020 project "PhotonHub Europe"

The objective of this project is to help European SMEs to increase their competitiveness through photonics with a online guidance, which will offer the support of 54 leading competence centers in Europe, including FEMTO-ST, which is also the scientific coordinator at the national level.
Read more
First demonstration of self-confined nonlinear waves in plasmonic structures

By providing the very first experimental evidence of the existence of this phenomenon, FEMTO-ST researchers and their partners hope to be able to generate this nonlinear effect using low intensity laser sources, in order to use it for nanophotonics applications.
Read more
Mengjia Wang receives the « Chinese government award 2020 »

As a PhD student of the Optics Department of FEMTO-ST , Mengjia Wang has been recognized by the Chinese Government for his outstanding work in the field of nanophotonics and plasmonics.
Read more
Laurent LARGER named Fellow 2021 of OSA

Full professor of Physics/Optics at the University of Franche-Comté and researcher at FEMTO-ST institute, Laurent Larger is rewarded for his pioneering work on nonlinear dynamics in optoelectronics and on the development of new architectures for photonic artificial intelligence.
Read more