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

Comprendre la cytotoxicité des nanoparticules métalliques
Une étude récente publiée dans la revue « Chemical Science » et impliquant FEMTO-ST donne de nouvelles perspectives dans la compréhension des mécanismes d’altération de l’ADN dans les cellules par les nanoparticules métalliques.
Lire la suite
L'intelligence artificielle au service de la photonique ultrarapide de prochaine génération
Comment l’apprentissage machine et les méthodes associées peuvent permettre d’améliorer les développements des sources laser de prochaine génération et révolutionner les applications où la lumière ultrarapide joue un rôle central ?
Lire la suite
Forte implication de FEMTO-ST dans le projet H2020 « PhotonHub Europe »
Aider les PME européennes à accroitre leur compétitivité grâce à la photonique. C'est l’objectif de ce projet qui, à travers un guichet unique, propose le soutien de 54 centres de compétences de premier plan en Europe, dont FEMTO-ST, par ailleurs coordinateur scientifique au niveau national.
Lire la suite
Première mise en évidence d’ondes non linéaires autoconfinées au sein de structures plasmoniques
En apportant les toutes premières preuves expérimentales de l’existence de ce phénomène, les chercheurs de FEMTO-ST et leurs partenaires espèrent pouvoir générer cet effet non-linéaire à l’aide de sources laser peu intenses, afin de l’utiliser pour des applications en nanophotonique.
Lire la suite
Mengjia Wang reçoit le « Chinese government award 2020 »
Doctorant au département d’Optique de FEMTO-ST de 2016 à 2019, Mengjia Wang a été récompensé par le Gouvernement Chinois pour ses travaux de thèse remarquables dans le domaine de la nanophotonique et de la plasmonique.
Lire la suite
Laurent LARGER nommé Fellow 2021 de L’OSA
Professeur de Physique/optique à l’Université de Franche-Comté et chercheur à FEMTO-ST, Laurent Larger est récompensé pour ses travaux pionniers sur la dynamique non linéaire en optoélectronique et sur le développement de nouvelles architectures pour l’intelligence artificielle photonique.
Lire la suite
Concours CNRS « la Preuve par l'Image »
Découvrez la sélection des 20 images sélectionnées par le CNRS, dont l’une est présentée par FEMTO-ST, et votez pour désigner la photo « Prix du public ».
Lire la suite
Webconférences sur "e.Micronora"
Dans le cadre de l’évènement virtuel sur les microtechniques « e.Micronora », FEMTO-ST propose des conférences en ligne le jeudi 24 septembre au matin. Une opportunité, notamment pour les industriels, de découvrir les ressources mises à disposition par les laboratoires de recherche.
Lire la suite
Imager l’interférence de photons intriqués de dimensionalité géante
Une équipe d’opticiens a développé un dispositif d’imagerie permettant la résolution spatiale et temporelle du phénomène d’interférence quantique entre des paires de photons intriqués. Ces travaux ouvrent la voie au développement de protocoles d’information à très haute dimension
Lire la suite
Concours posters doctorants : 11 ambassadeurs récompensés
11 doctorants de 1^ère année mis à l’honneur lors de l’Assemblée générale de FEMTO-ST du 10 juillet.
Lire la suite