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
Un nouveau mode de diffusion de la lumière dans de minuscules fibres optiques
Des chercheurs de l'institut Femto-ST en collaboration avec des collègues du Laboratoire Charles Fabry viennent de découvrir un nouveau mode de diffusion de la lumière dans de minuscules fibres optiques 50 fois plus fines qu'un cheveu ! Ce phénomène, qui varie selon l'environnement de la fibre, pourrait être exploité pour concevoir des capteurs innovants et ultra-sensibles. Ces travaux sont publiés le 24 octobre 2014 dans la revue Nature Communications.
Lire la suite
Congrès CETSIS - 27-29 octobre 2014
Besançon accueille le congrès CETSIS 2014 du 27 au 29 octobre 2014. Il se déroule essentiellement autour de démonstrations réelles de travaux pratiques et de projets et de tables rondes et accueillera des enseignants, enseignants-chercheurs, doctorants, industriels de toute la France et de pays francophones.
Lire la suite
Visite du Premier ministre, Manuel Valls, à FEMTO-ST
Accompagné de Mme Najat Vallaud-Belkacem, Ministre de l'Éducation nationale, de l'Enseignement supérieur et de la Recherche, et Mme Geneviève Fioraso, Secrétaire d’Etat à l’Enseignement supérieur et à la Recherche, le Premier Ministre Manuel Valls est venu découvrir, lundi 29 septembre à Besançon, les recherches menées au sein de l’institut et apprécier les développements technologiques réalisés au sein de notre salle blanche.
Lire la suite
Prix spécial du Jury sur le salon MICRONORA
Un microrobot développé par une équipe de recherche de FEMTO-ST pour améliorer la chirurgie laser des cordes vocales a reçu le prix spécial du jury sur le salon MICRONORA
Lire la suite
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
Lire la suite
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
Pages
