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

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

Amar Nath Ghosh récompensé à l'OSA Advanced Photonics Congress
Amar Nath Ghosh a reçu le Best student paper award de l'OSA Advanced Photonics Congress qui a eu lieu du 2 au 5 juillet à Zurich.
Lire la suite
L'équipe nanoscience de FEMTO-ST en couverture du journal de la société chimique de France
Lire la suite
Focus sur les innovations de la filière "systèmes hydrogène-énergie"
Quelques jours après l’annonce par le gouvernement du lancement d’un grand plan national hydrogène, l’institut Femto-ST organise le 20 juin 2018 au FCLAB à Belfort, un focus sur les innovations de la filière « systèmes hydrogène énergie ».
Lire la suite
Assemblage robotique de la plus petite maison du monde
les capacités de manipulation et d'assemblage de nanocomposants de la plateforme "µRobotex" fait le buzz sur le net et dans la presse internationale à travers la fabrication par origami d'une micro-maison au bout d’une fibre optique dont les dimensions sont inférieures au diamètre d’un cheveu.
Lire la suite
Nicolas Andreff, reçoit Le Grand Prix Scientifique 2018 de la Fondation Charles Defforey-Institut de France
Remis le 30 mai sous la Coupole de l'Institut de France des mains de M. Jean-Paul Laumond, membre de l'Académie des Sciences, ce Grand Prix vient couronner ses travaux et ceux de son équipe dans le domaine de la microrobotique médicale
Lire la suite
Journée de la Lumière 2018
Suite au succès de l’année internationale de la Lumière qui a mis en évidence l'importance des sciences et technologies à base de lumière et qui a généré plus de 13000 activités dans 147 pays, l’UNESCO a proclamé le 16 mai comme étant la Journée internationale de la lumière.
Lire la suite
Enrico Rubiola récompensé lors de l'IFCS 2018
Enrico Rubiola recevra le 24 mai lors de l’IFCS 2018 le prix W. G. Cady.
Lire la suite
Inauguration de la plateforme Oscillator IMP le 28 mars
Une nouvelle plateforme technologique dédiée à la caractérisation de la stabilité des oscillateurs est désormais mise à la disposition des acteurs de la recherche et de l’industrie et fera l’objet d’une inauguration le 28 mars prochain.
Lire la suite
OPTICS 2018 : Sheler Maktoobi, Best Paper Award !
Sheler Maktoobi (doctorante département d'optique) s'est vu remettre le Best Paper Award lors de la conférence OPTICS 2018 (SPIE)
Lire la suite
Visite ministérielle à FEMTO-ST
Vendredi 16 mars, La ministre de l'Enseignement supérieur, de la Recherche et de l'Innovation, Frédérique VIDAL, est venue à Besançon découvrir les activités de recherche de FEMTO-ST et échanger avec les membres de l’institut.
Lire la suite