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

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
Read more
Yann Le Gorrec lauréat du prix du service 2017 de l'IFAC France

Le prix du service 2017 de l'"International Federation of Automatic Control" sera remis en juillet prochain à Yann Le Gorrec, enseignant chercheur au sein de l'institut FEMTO-ST
Read more
Un capteur de rayons X miniature pour une médecine de haute précision

Détecter les rayons X à une très petite échelle spatiale ouvre la voie à des images médicales et des thérapies de haute précision. C'est ce qu'a réalisé une équipe d'opticiens de FEMTO-ST en intégrant un détecteur à l'extrémité d'une fibre optique. Ces travaux viennent d'être publiés dans la revue Optics Letters et font les "highlights" de l'OSA (Optical Society)
Read more
Nesrine BELKADI, Rania MEZZI et Bogdan PENKOVSKI finalistes de Ma thèse en 180 secondes

Nesrine BELKADI, Rania MEZZI et Bogdan PENKOVSKI, Doctorants à FEMTO-ST, font partie des 10 finalistes de « Ma thèse en 180 secondes ».
Venez les encourager le mardi 4 avril à 18 heures à l'amphithéâtre Chosson AgroSup Dijon !
Read more
Prix EEA pour Marine Jouin

Marine Jouin est lauréate du prix de thèse du Club EEA - section automatique, session 2017.
Read more
Concours photo 2016 de l'Optical Society of America, 3ème place pour Rémi Meyer

La photo proposée Rémi Meyer (doctorant Optique) lors du concours photo organisé par l'Optical Society of America a été classée 3ème.
Read more
Un cerveau optique ultra rapide

L'association de tous nouveaux concepts de calculs basés sur les réseaux de neurones artificiels, et de composants photoniques, a permis la mise au point d'un processeur optique capable de résoudre des problèmes complexes de manière ultra-rapide. Le résultat de ces travaux développés par une équipe d’opticiens de FEMTO-ST sont publiés dans la revue « Physical Review X »
Read more
De nouveaux matériaux contre les nuisances sonores

les sources de pollution sonore sont multiples dans notre quotidien et ont des répercussions aussi bien sur la santé que sur l'économie. À l'institut FEMTO-ST, chercheurs et ingénieurs se penchent sur cette problématique qui nous concerne tous afin de développer des métamatériaux capables d'absorber le son. Pour tester leur invention, direction la salle sourde du laboratoire située dans les locaux de l'IUT…
Read more
Nouvelle méthode informatique dans le traitement des tumeurs rénales chez l'enfant

Dans le cadre d’un projet INTERREG, l’institut FEMTO-ST en lien avec ses différents partenaires franco-suisses va développer une méthode informatique capable de construire des représentations en trois dimensions de reins tumoraux chez l’enfant à partir d’images scanner et sans intervention humaine.
Read more
Dilater le temps pour mieux prédire les évènements extrêmes

Dilater les échelles de temps pour explorer les évènements extrêmes de la nature semblait impossible… Cette prouesse est désormais envisageable grâce à une équipe de l’Institut FEMTO-ST qui a utilisé une technique innovante de détection permettant de capturer en temps réel de tels évènements. Cette technique, appliquée pour le moment à la photonique, pourrait aider à la prédiction de vagues scélérates à la surface des océans ou d’autres évènements naturels extrêmes. Ces travaux, menés en collaboration avec des chercheurs finlandais, irlandais et canadiens, sont publiés dans la prestigieuse revue « Nature Communications » du 19 décembre 2016.
Read more