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

Deux jeunes chercheuses franc-comtoises distinguées par des médailles de bronze du CNRS
Aude Bolopion (microrobotique) et Nadia Yousfi-Steiner (génie électrique), deux jeunes chercheuses de l’institut FEMTO-ST, ont été récompensées chacune par une médaille de bronze CNRS pour leur contribution respective à l’avancée de la recherche française.
Lire la suite
Sécuriser et certifier le temps
Inauguration mardi 9 juillet d’un laboratoire commun entre FEMTO-ST et l’entreprise Gorgy Timing pour développer des systèmes de diffusion sécurisée et certifiée du temps et des fréquences au niveau des réseaux sans fil et informatiques.
Lire la suite
Micro-soufflage de verre pour la réalisation de composants optiques miniatures
Une équipe de chercheurs de FEMTO-ST a développé des lentilles miniatures coniques en revisitant des techniques de soufflage du verre pratiquées depuis l’époque romaine.
Lire la suite
Détecter les problèmes de coagulation des patients en 60 minutes
Des chercheurs de FEMTO-ST et de l’Université de Genève ont mis au point un appareil permettant d’investiguer en conditions réelles les capacités des plaquettes du patient à stopper les saignements.
Lire la suite
Focus sur le projet européen MiMédi
Mardi 11 juin, les équipes de l’Institut FEMTO-ST et de l’EFS Bourgogne-Franche-Comté ont présenté, en présence de représentants de la Région, un important projet de recherche européen de spécialisation intelligente régionale.
Lire la suite
Le Prix W. G. Cady décerné à Serge GALLIOU à l’IEEE IFCS 2019
Ce prix récompense les contributions exceptionnelles et pionnières de Serge Galliou dans le développement de résonateurs acoustiques cryogéniques à extrêmement grand facteur de qualité (très faibles pertes mécaniques) pour des applications capteurs, oscillateurs ou de physique fondamentale.
Lire la suite
Réunion de clôture du projet S3-4AlpClusters
Les 13 et 14 mars, la conférence finale du projet S3-4AlpClusters a eu lieu à Venise, en présence de tous les partenaires (dont FEMTO-ST), les observateurs, des décideurs politiques et de membres de la Commission européenn
Lire la suite
FEMTO@SCHOOL : des chercheurs invitent la lumière dans les lycées
Les opticiens de FEMTO-ST proposent un large éventail d'activités de vulgarisation autour de la lumière et de ses applications pour susciter l’intérêt des lycéens pour les sciences et les technologies.
Lire la suite
Médailles de bronze du CNRS : un doublé historique pour FEMTO-ST
Aude Bolopion (micro-nano robotique biomédicale) et Nadia Yousfi Steiner (diagnostic piles à combustible) sont récompensées de la médaille de bronze 2019 du CNRS pour leurs travaux de recherche prometteurs.
Lire la suite
Best student paper award pour Rémi Meyer
Rémi Meyer a obtenu le prix de la meilleure présentation étudiante lors de la dernière conférence SPIE-Photonics West pour ses travaux portant sur l’usinage laser avec une précision micrométrique appliqué à la découpe du verre de grande épaisseur.
Lire la suite