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
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
François Courvoisier, lauréat d'une bourse ERC Consolidator Grants, reçoit le prix Aimé Cotton
La société française de physique a décerné le prix Aimé Cotton à François Courvoisier, également lauréat d’une bourse ERC Consolidator Grants 2015.
Lire la suite
Les « nano voitures » font leur avant-première au Musée de l’Aventure Peugeot
C’est à l’occasion du Forum microscopie à sonde locale, organisé par FEMTO-ST que le groupe PSA Peugeot-Citroën a officiellement annoncé son parrainage de l’équipe de chercheurs français impliqués dans la première course internationale de "molécules-voitures".
Lire la suite
Le département DISC récompensé lors de la conférence IEEE AINA 2016
Le DISC reçoit la SEULE récompense de la 30éme édition de l'IEEE AINA 2016, à Cran Montana...
Lire la suite
Forum international des microscopies à sonde locale
Organisé par des membres du département MN2S, ce forum aura lieu du 21 au 25 Mars 2016 au Musée de l’aventure Peugeot à Sochaux.
Lire la suite
Succès du projet I-SITE UBFC
le projet I-SITE BFC, dans lequel FEMTO-ST est très impliqué, figure parmi les 2 projets I-SITE retenus in fine par le jury d’experts internationaux dans le cadre du second programme Investissements d’Avenir (PIA2) mené par l’Etat
Lire la suite
Best Paper Award à la conférence ICRSE & PHM 2015
L'équipe PHM a été récompensée à Pékin pour son article « Component-Based Data-Driven Prognostics for Complex Systems: Methodology and Applications ».
Lire la suite
Grand Prix National de l'Ingénierie 2015
Grâce au partenariat avec les équipes de recherche belfortaine de l’institut FEMTO-ST (département Energie) le groupe Assystem s’est vu remettre le Prix National de l’Ingénierie 2015 pour le développement d’un moteur thermique de nouvelle génération à apport de chaleur externe baptisé Energine.
Lire la suite
Une jeune chercheuse récompensée par une bourse l’Oréal-UNESCO Pour les Femmes et la Science
Brillante doctorante au sein de l’institut FEMTO-ST, Pauline BUTAUD, 26 ans, fait partie des 20 jeunes chercheuses françaises récompensées hier à Paris par une bourse nationale l’Oréal-UNESCO pour l’excellence scientifique de ses travaux de recherche novateurs afin de lui permettre de poursuivre une carrière déjà très prometteuse, tout en valorisant son parcours et ses résultats.
Lire la suite
Vidéo sur Biom'@x
Découvrez la vidéo sur les activités de recherche de FEMTO-ST dans le domaine du biomédical
Lire la suite
LUX! Temps fort, c'est fini !
Ça y est, le temps fort LUX! est derrière nous et c’est en images que nous vous proposons de (re)-découvrir cet événement.
Lire la suite
Pages
