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

Fei GAO reçoit le prix «IEEE J.D. Irwin Early Career Award »
Membre de l'équipe SHARPAC et Directeur-Adjoint de FEMTO-ST, Fei Gao a été récompensé par la société IES de IEEE en raison de ses travaux remarquables dans le domaine de l'amélioration de la fiabilité des chaînes de traction électrique à hydrogène.
Lire la suite
Daniel HISSEL, lauréat de la médaille de l’innovation 2020 du CNRS
Professeur à l’Université de Franche-Comté, chercheur à FEMTO-ST et co-fondateur d’une start-up pour des piles à hydrogène plus performantes, Daniel HISSEL fait partie des quatre lauréats nationaux de la médaille de l’innovation 2020 du CNRS.
Lire la suite
Une nouvelle source de lumière infrarouge grâce à des cascades de fibres optiques
Des scientifiques de l’institut FEMTO-ST et de l'Université McGill (Montréal, Canada) ont conçu et développé en collaboration avec trois sociétés françaises une source de lumière couvrant toute la gamme de longueur d’onde de l’infrarouge moyen : de 2 à 10 µm.
Lire la suite
Des cristaux topologiques pour guider les ondes à la surface de l’eau
Les isolants topologiques ont la propriété d’être conducteurs sur leur surface, mais isolants dans leur volume et permettent un guidage très efficace des ondes par l’ingénierie de la structure de ces matériaux, généralement agencés selon une symétrie hexagonale inspirée de celle du graphène.
Lire la suite
Hommage à Raymond BESSON, « l’homme du quartz à 10-14 »
Scientifique passionné, professeur à l’ENSMM jusqu’en 2006 et directeur du Laboratoire de Chronométrie, Electronique et Piézoélectricité entre 1978 et 2002, Raymond Besson était réputé dans la communauté internationale du temps-fréquence pour ses résonateurs à quartz et est décédé ce 15 avril.
Lire la suite
Des visières de protection produites en série
Dans le cadre de la crise sanitaire actuelle, FEMTO-ST, en lien avec ses tutelles, s'est impliqué dans la réalisation de deux modèles de visières de protection qui sont produites en série sur le site bisontin depuis le 9 avril 2020.
Lire la suite
Une solution innovante pour détecter des polluants dans le sous-sol
Des chercheurs de FEMTO-ST et de l’entreprise TOTAL SA ont réussi à détecter des polluants organiques avec des méthodes ne nécessitant aucun prélèvement d’échantillon et ont été capable de suivre l’évolution de la pollution du sous-sol sur des périodes allant jusqu’à plusieurs années.
Lire la suite
FEMTO-ST fermé au public
Suite aux mesures annoncées par le Président de la République dans le cadre de la lutte contre l'épidémie de Coronavirus (COVID-19), l'ensemble des sites de notre laboratoire à Besançon, Belfort et Montbéliard sont fermés au public à compter de ce mardi 17 mars.
Lire la suite
Concours innovation I-PhD : 2 lauréats issus de FEMTO-ST
Maya Geagea (projet ANIOPAC : micro-piles à combustible), et Gaël Matten (projet VIBISCUS : système de réduction des nuisances sonores), grand prix du jury, sont lauréats du palmarès d’innovation 2019
Lire la suite
Sarah Benchabane lauréate d’une bourse ERC Consolidator grant 2019
Chargée de recherche CNRS à l’Institut FEMTO-ST, Sarah est lauréate d’une prestigieuse bourse du Conseil européen de recherche (ERC) d’un montant de 2M€ pour son projet uNIQUE - Nanophononique pour le traitement de l’information quantique.
Lire la suite