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

Imaging quantum interference of entangled photon pairs of extremely high dimensionality

Researchers from the Optics Department have developed an imaging device allowing the spatial and temporal resolution of the phenomenon of quantum interference between pairs of entangled photons of extremely high dimensionality.
Read more
Concours posters doctorants : 11 ambassadeurs récompensés

11 doctorants de 1^ère année mis à l’honneur lors de l’Assemblée générale de FEMTO-ST du 10 juillet.
Read more
Fei GAO Receives IEEE J.D. Irwin Early Career Award

As a member of the SHARPAC team and Deputy Director of FEMTO-ST, Fei Gao has been recognized by the IEEE IES Society for his outstanding work in improving the reliability of hydrogen electric powertrains.
Read more
Daniel HISSEL, winner of the CNRS 2020 Innovation Medal

Full professor at the University of Franche-Comté, researcher at FEMTO-ST Institute and co-founder of a start-up on efficient hydrogen fuel cells, Daniel HISSEL is one of the four national winners of the CNRS 2020 Innovation Medal.
Read more
A new source of infrared light thanks to fibre optic cascades

Scientists from FEMTO-ST Institute and McGill University (Montreal, Canada) have designed and developed in collaboration with three French companies a light source covering the entire mid-infrared wavelength range: from 2 to 10 µm.
Read more
Topological crystals to guide waves on the water surface

Topological crystals have the property of being conductive on their surface, but insulating in their volume which allows very efficient wave guidance by engineering the structure of these materials, generally arranged in a hexagonal symmetry, inspired by the graphene.
Read more
Hommage à Raymond BESSON, « l’homme du quartz à 10-14 »

Scientifique passionné, professeur à l’ENSMM jusqu’en 2006 et directeur du Laboratoire de Chronométrie, Electronique et Piézoélectricité entre 1978 et 2002, Raymond Besson était réputé dans la communauté internationale du temps-fréquence pour ses résonateurs à quartz et est décédé ce 15 avril.
Read more
Des visières de protection produites en série

Dans le cadre de la crise sanitaire actuelle, FEMTO-ST, en lien avec ses tutelles, s'est impliqué dans la réalisation de deux modèles de visières de protection qui sont produites en série sur le site bisontin depuis le 9 avril 2020.
Read more
An innovative solution to detect pollutants in the subsoil

Researchers from FEMTO-STinstitute and the company TOTAL SA have succeeded in detecting organic pollutants with methods that did not require sampling and have been able to monitor the evolution of the pollution of the subsoil over periods ranging up to several years.
Read more
FEMTO-ST is closed

Within the framework of Coronavirus (COVID-19) epidemic and following the measures announced by the President of the French Republic, all the premises of our laboratory in Besançon, Belfort and Montbéliard cities are closed to the public from this Tuesday March 17.
Read more