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
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.
Lire la suite
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.
Lire la suite
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.
Lire la suite
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.
Lire la suite
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
Lire la suite
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.
Lire la suite
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.
Lire la suite
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.
Lire la suite
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.
Lire la suite
Journée de présentation du réseau national des grandes centrales de technologie
La journée annuelle de présentation du réseau Renatec-Leti se déroule jeudi 20 mars dans chacune des 7 centrales du réseau national RTB. Elle permet de faire le lien entre ceux qui ont des besoins dans le domaine des micro et nanotechnologies (académiques, industriels, PME, start-up) et les ressources technologiques disponibles au sein de ces centrales réparties sur l’ensemble du territoire.
A Besançon, cette journée est organisée par l’institut FEMTO-ST et se déroule de 10h à 16h dans ses locaux et à la maison des microtechniques.
Lire la suite
Pages
