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

Un LABEX pour le projet FIRST-TF

FEMTO-ST et UTINAM font partie des cents projets de LABoratoires d’Excellence (LABEX)retenus dans le cadre du grand emprunt. Ce projet de réseau thématique pour la recherche,l’innovation, la formation, les services et le transfert en Temps-Fréquence (FIRST-TF) est porté par le
SYRTE (SYstème de Références Temps-Espace) de l'Observatoire de Paris. Il implique également le Laboratoire de Physique des Lasers (Paris 13) et GEOAZUR à l’Observatoire de la Côte d’Azur.
Read more
Un article de Michel planat sélectionné par le Journal of Physics A: Mathematical and Theoretical

Les travaux de Michel Planat sur le "calcul quantique par l'hypothèse de Riemann" ont été sélectionnés pour affichage sur le site du Journal of Physics A: Mathematical and Theoretical accessible à l'adresse http://iopscience.iop.org/1751-8121/labtalk-article/45421. Cette brève est fondée sur un article récent de Michel paru dans ce journal.
Read more
Michel planat makes the Insights News of the Journal of Physics A: Mathematical and Theoretical

Michel Planat's Insights news article "Quantum computing with Riemann hypothesis" is now available on the journal's website and can be viewed at http://iopscience.iop.org/1751-8121/labtalk-article/45421. This news article is based on the recent paper published by the Journal of Physics A: Mathematical and Theoretical.
Read more
FEMTO-Innovation présent sur la foire de Hanovre

Au côté de 5 autres instituts Carnot, FEMTO-Innovation représentera la recherche partenariale française à l'occasion de la foire de Hanovre qui se déroule du 4 au 8 avril 2011.
Read more
Olympiades des sciences de l'ingénieur

FEMTO-ST s'associe à l'ENSMM pour accueillir le 18 mars 2011 les équipes de lycéens finalistes académiques 2011 des olympiades des sciences de l'ingénieur.
Read more
FEMTO-ST lauréat national des trophées INPI de l'innovation

C’est mardi 25 janvier, lors d’une cérémonie qui s’est déroulée à Paris que le jury a décerné à notre institut un trophée national pour récompenser la qualité scientifique de nos recherches ainsi que notre politique de valorisation fortement orientée vers les PME et basée sur une véritable culture de la propriété industrielle.
Read more
« Robotex » : un des projets retenu au grand emprunt

Le projet de réseau national de plateformes robotiques d’excellence « Robotex » dans lequel FEMTO-ST est impliqué fait partie des 52 lauréats de la première vague de l’appel à projet « équipements d’excellence » prévu dans le cadre du Grand Emprunt.
Read more
Un interrupteur moléculaire sur silicium

FEMTO-ST a démontré qu’une molécule unique pouvait être manipulée sur une surface semiconductrice par un saut de tension contrôlé par une pointe STM.
Read more
Parution ouvrage

Parution de l'ouvrage "Mécanique Générale"
Read more
MEDICALIP : Vers un dépistage rapide et aisé du cytomégalovirus

Présentation mardi 7 décembre 2010 à 14h30 à la Maison des Microtechniques, 18 rue Alain Savary à Besançon du projet médical innovant de dépistage du cytomégalovirus, cause la plus fréquente d'infection congénitale chez le nouveau né.
Read more