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

Départagez de jeunes chercheurs dans "la grande Battle de FEMTO-ST"

A l'occasion du dixième anniversaire de FEMTO-ST, le laboratoire et l'Université de Franche-Comté organisent un concours original...une battle de jeunes chercheurs, un combat scientifique et technique avec comme armes des "super pouvoirs" sortis du laboratoire.
Retrouvez les sur le site de Besançon TV du 20 septembre au 11 octobre 2014 pour visionner leur portrait et vidéo et soutenir votre favori
Read more
L’entreprise FOR-AGE fait appel à l’expertise de FEMTO-ST

Pour optimiser les déplacements des professionnels de santé, une PME de Saint Vit (25),éditrice de solutions informatiques, fait appel à l'expertise de FEMTO-ST en modélisation pour identifier un algorithme de calcul performant, développer un prototype permettant de démontrer la preuve de concept et tester le solveur de tournées en situation réelle.
Read more
Première occupante dans le nouveau bâtiment de recherche de FEMTO-ST à Besançon

Deux ans et demi après la pose de la première pierre, le nouveau bâtiment de recherche de l’institut FEMTO-ST vient d’accueillir sa première occupante, Joëlle Berthelot, son hôtesse d’accueil.
Read more
Cycle de conférences micro-nanotechnologies le 25 septembre sur MICRONORA

Jeudi 25 septembre 2014, FEMTO-ST organise sur le salon MICRONORA un cycle de conférences de haut niveau dédiées aux applications des micro et nanotechnologies afin de mieux faire connaitre, notamment auprès des industriels, les potentialités offertes dans ce domaine.
Read more
Ateliers SMYLE 2014

Les ateliers SMYLE sont organisés les 11 et 12 septembre 2014 dans le cadre du Collégium International franco-suisse SMYLE (SMart sYstems for a better Life) entre EPFL et FEMTO-ST.
Read more
ENERGIE : « Best Paper Award » lors de la conférence internationale TMREES 14 au Liban

Mohamed Becherif de l’équipe « Système hybrides et systèmes piles à combustibles » du département Energie de FEMTO-ST a obtenu le premier prix pour l’article présenté lors de la dernière conférence internationale sur les technologies et matériaux pour l’énergie renouvelable, l’environnement et le développement durable (TMREES 14) qui s’est tenue à Beyrouth du 10 au 13 avril dernier
Read more
Best Paper Award - IEEE SERE'2014

L'équipe VESONTIO (département DISC) a été récompensée par un "Best Paper Award" lors de la conférence IEEE on Software Security and Reliability (SERE'2014) qui s'est déroulée à San Francisco du 30 juin au 2 juillet 2014.
Read more
Ecole d’été internationale 2014 « Diagnostic et Pronostic de piles à combustible »

Du 1er au 4 juillet 2014, la fédération FCLAB organise une école d’été internationale sur le sujet du Diagnostic et du Pronostic de piles à combustible.
Read more
FEMTO-ST organise la conférence internationale AIM 2014

Organisée annuellement, alternativement aux Etats-Unis, en Asie et en Europe, la conférence internationale IEEE/ASME « Advanced Intelligent Mechatronics » est la plus importante conférence scientifique mondiale couvrant le domaine de la mécatronique avancée.
Pour sa 13ème édition, elle se tiendra pour la première fois en France, à Besançon, du 7 au 11 juillet 2014, et rassemblera près de 350 chercheurs venus du monde entier.
Read more
Présence de FEMTO-ST sur la foire de Hanovre

L'équipe Systèmes Hybrides et Pile à combustible (SHPAC) du département Energie de FEMTO-ST, membre de la fédération de recherche CNRS FCLAB, sera présente à la foire d'Hanovre du 7 au 11 avril prochain pour présenter les résultats du projet européen D-CODE qui vise à améliorer les conditions opératoires du système pile à combustible afin d'augmenter sa durée de vie.
Read more