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
Cédric DECROCQ obtient le "Louis and Edith Zernow award"
Ce doctorant de l'équipe THERMIE (département Energie) a été récompensé lors de l'International Symposium on Ballistics.
Lire la suite
Fête de la science à Belfort et Besançon les 14 et 15 octobre
Robotique, informatique, thermique, microtechniques, mécanique…En partenariat avec les acteurs de l’enseignement supérieur, FEMTO-ST participe les 14 et 15 octobre prochain à des animations scientifiques grand public sous forme d’ateliers ou de manipulations dans le cadre de la fête de la science qui se tient à Belfort et Besançon
Lire la suite
Best paper award à ICRE 2017
Nicolas Delcey, doctorant du département Énergie, a été récompensé lors de l'ICRE 2017 qui, cette année, s'est déroulée à Londres .
Lire la suite
[FOCUS LAB' #2] Peut-on transformer une souris verte en escargot ?
Découvrez la réponse en images...
Lire la suite
Un problème ouvert résolu en informatique : une réduction efficace de la taille de systèmes
Gérard Cécé du département DISC/FEMTO-ST a présenté lors de la conférence LICS'17, les fondations d'une série d'algorithmes efficaces du calcul de la plus grande relation de simulation d'un système.
Lire la suite
Trouver de nouveaux débouchés aux matériaux biosourcés
Dans le cadre d’un projet européen H2020, FEMTO-ST, en lien avec 16 autres partenaires issus de 6 pays européens, ambitionne d'élargir les débouchés des matériaux biosourcés en développant des démonstrateurs pour les secteurs technologiques de pointe tels que notamment le transport terrestre et aérien.
Le lancement du projet,en présence de l'ensemble des partenaires, a eu lieu mardi 12 septembre dans le locaux de l'institut.
Lire la suite
Une nano-antenne pour imager et caractériser des sources de photons uniques infrarouges
Bien que produits par milliards, les quantum-dots restent des sources lumineuses nanométriques difficiles à détecter et caractériser individuellement, en particulier quand elles émettent dans l’infrarouge. Des chercheurs de FEMTO-ST ont développé pour cela une nano-antenne intégrée sur fibre optique. Ces travaux ont été publiés dans la revue Nano Letters.
Lire la suite
Tout savoir sur l’auto-organisation de molécules sur silicium
L’équipe Nanosciences de FEMTO-ST et une équipe de l’IEMN publient une revue exhaustive sur l’auto-organisation sur surface de silicium.
Lire la suite
AFULudine récompensée au concours I-LAB 2017
AFULudine (start-up issue entre autres des recherches de FEMTO-ST) est lauréate du concours I-LAB 2017, dans la catégorie « Chimie & environnement ».
Lire la suite
[FOCUS LAB'] Peut-on fabriquer un violon avec des céréales ?
Découvrez la réponse en images...
Lire la suite
Pages
