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 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
Best Presentation Award à ICEMS'17
Frédéric Dubas, équipe SHARPAC/FEMTO-ST, s'est vu décerner le prix "Best Presentation Award" lors de la 19ème International Conference on Electrical Machines and Systems qui s'est tenue les 7 et 8 juin à San Francisco
Lire la suite
FEMTO-ST remporte deux prix au salon Economia
Youssef Tejda et Aliyasin El Ayouch remportent deux prix lors du salon Economia pour leurs travaux sur les métamatériaux acoustiques.
Lire la suite
WOMBAT 2017
Après une première édition à Sydney en 2015,le second Workshop on Optomechanics and Brillouin Scattering: Fundamentals, Applications and Technologies aura lieu à Besançon.
Lire la suite
FEMTO-ST présent à la 4eme édition des 24h du temps
Des chercheurs et doctorants de FEMTO-ST participent aux 24h du temps. Une manifestation destinée à promouvoir le savoir-faire technique et scientifique régional dans le domaine du temps et de l’horlogerie qui se déroulera les 3 et 4 juin place Granvelle à Besançon
Lire la suite
Pages
