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

Electronique moléculaire : un nouveau regard sur l’organisation des molécules ioniques
Des scientifiques de l’Institut de chimie de Strasbourg et de FEMTO-ST ont développé une méthode innovante permettant d’améliorer la caractérisation des interfaces ioniques à l’échelle nanométrique, et ainsi d’analyser de nouveaux matériaux pressentis pour s’insérer dans la prochaine génération d
Lire la suite
Ondes de spin optiques, un nouvel état de la lumière
Les états magnétiques présents dans la matière sont une source d’inspiration pour imaginer de nouveaux états de la lumière. Une équipe de l’institut FEMTO-ST a conçu puis créé un équivalent optique des ondes dites « de spin » se propageant dans les aimants.
Lire la suite
FEMTO-ST célèbre ses 20 ans
Entouré de ses co-tutelles et de ses partenaires, l’institut FEMTO-ST a célébré, ce mercredi 26 juin à Besançon, l’anniversaire de ses 20 ans.
Lire la suite
Eric MAZUR (Harvard Université) en conférence à FEMTO-ST
Professeur à l'Université de Harvard, ce scientifique de renommée internationale dans le domaine des interactions ultrarapides entre la lumière et la matière et la science des matériaux est intervenu dans nos locaux ce vendredi 21 Juin.
Lire la suite
John Dudley nommé membre senior de l'institut universitaire de France
Issu du département d’Optique de FEMTO-ST et enseignant chercheur à l’université de Franche-Comté, John Dudley est nommé à une Chaire Fondamentale dans la catégorie senior de l'Institut Universitaire de France (IUF)
Lire la suite
Développement d'un polymère thermodurcissable biosourcé et recyclable :
Une étape majeure vers l'intégration des composites à matrices thermodurcissables dans l'économie circulaire et biosourcée.
Lire la suite
FEMTO-ST s'implique du 13 au 15 Mai à Pint of Science Festival
De nombreux chercheurs de l’institut se mobilisent à Besançon à l’occasion de la 11ème édition du festival international de vulgarisation scientifique sur des thématiques variées : optique, robotique, microtechniques pour les médicaments innovants, développement durable.
Lire la suite
Nanofabrication par laser: des nanopiliers qui émergent du saphir
Les lasers femtoseconde sont connus pour permettre de la découpe extrêmement précise des matériaux ou texturer les surfaces. Une équipe de FEMTO-ST a réalisé une première mondiale, ouvrant une nouvelle utilisation de ces lasers.
Lire la suite
Prix du meilleur papier sur BIOSTEC 2024
Raniya Ketfi, Zeina Al Masry et Noureddine Zerhouni ont remporté le Prix du meilleur papier de recherche lors de la 17e Conférence Internationale Conjointe sur les Systèmes et Technologies en Ingénierie Biomédicale.
Lire la suite
Mayra Yucely Beb Caal récompensée du prix « Talents scientifiques féminins 2024»
Doctorante au sein de l’équipe micro et nanorobotique de FEMTO-ST, elle figure parmi les 20 femmes talentueuses originaires de 15 pays, qui apportent chacune une contribution significative dans leur domaine scientifique.
Lire la suite