Vous êtes ici

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

Rodolphe Boudot reçoit le prix EFTF Young Scientist Award 2020
L'IEEE EFTF-IFCS 2021 est une conférence conjointe de l'European Frequency and Time Forum et de l'IEEE International Frequency Control Symposium. La conférence conjointe 2021, initialement prévue à Paris en avril, a été convertie en une conférence virtuelle du 7 au 17 juillet 2021.
Lire la suite
Giacomo Clementi, grand prix i-PhD
Pour ses travaux sur le matériau Niobate de Lithium (LiNbO3) qui ont permis de concevoir des dispositifs originaux et efficaces de récupération d’énergie vibratoire par effet piézo-électrique, en particulier pour les objets connectés.
Lire la suite
Concours des doctorants-ambassadeurs FEMTO-ST
Remise de prix aux trois vainqueurs du concours de meilleurs posters de présentation de travaux de thèse lors du séminaire interne FEMTO-ST du 2 juillet.

Présentation « en live » en amphi à Sevenans (UTBM) des 10 doctorants finalistes, suivi d’un vote en ligne qui a récompensé :
Lire la suite
Comprendre les transferts d'énergie lors de la photosynthèse
A l'aide de trois pigments manipulés par microscopie à effet tunnel, les chercheurs de l'IPCMS et de FEMTO-ST étudient les transferts d'énergie entre molécules pour comprendre plus finement le mécanisme de photosynthèse dans les végétaux. Ces travaux sont publiés dans Nature Chemistry.
Lire la suite
16 mai : Journée internationale de la lumière
A cette occasion, le Student Chapter de FEMTO-ST organise cette année un concours photos, ouvert à tous, sur le thème "Phénomènes lumineux dans la vie quotidienne ".
Lire la suite
AMAROB labélisée entreprise Deep Tech
Spin off de FEMTO-ST, Amarob technologies, qui a bénéficié du dispositif chercheur-entrepreneur de la Région BFC, a reçu le label entreprise Deep Tech décerné par Bpifrance.
Lire la suite
Nouvelle plateforme d'aide à la conception et l'optimisation d'un système hybride pile à combustible-batterie
Première plateforme en ligne et libre d'accès de simulations, "Virtual FCS" propose d'accompagner fabricants et utilisateurs de piles à combustibles.
Lire la suite
ThermoBot : des microrobots qui marchent sur l’eau
Imaginez, un robot, de la taille d’une mouche, marchant sur la surface de l’eau et poursuivi par un faisceau laser. On pourrait croire à un scénario de science-fiction…
Lire la suite
Reconnaître un menteur au son de sa voix ?
Des scientifiques ont démontré que l’intensité, la vitesse et la hauteur de voix de son interlocuteur influaient automatiquement sur notre perception de fiabilité et d’honnêteté de son discours. Ces travaux sont publiés dans la prestigieuse revue « Nature Communications »
Lire la suite
Projet européen de développement de composites biosourcés durables et à hautes performances
Piloté par FEMTO-ST et porté par l’Université de Franche-Comté, Le projet de R&D « SSUCHY » qui regroupe 17 partenaires européens entre dans sa phase finale. L’occasion de faire le point sur l’avancée des travaux.
Lire la suite