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 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)
Lire la suite
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 !
Lire la suite
Prix EEA pour Marine Jouin
Marine Jouin est lauréate du prix de thèse du Club EEA - section automatique, session 2017.
Lire la suite
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.
Lire la suite
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 »
Lire la suite
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…
Lire la suite
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.
Lire la suite
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.
Lire la suite
Participez au IEEE VTS Motor Vehicles Challenge 2017
Une compétition internationale basée sur de la simulation et co-organisée par FEMTO-ST. L'objectif : optimiser la gestion de différentes sources d'énergie d'un véhicule hybride pour minimiser son coût de fonctionnement.
Lire la suite
La start-up AFULudine lauréat du grand prix national « Entreprises & Environnement » 2016
Issue des recherches menées au sein des instituts FEMTO-ST et UTINAM, la start-up AFULudine vient de recevoir le Grand prix national du ministère de l’Ecologie et de l’Ademe pour son lubrifiant hydroalcoolique écologique qui propose des solutions innovantes adaptées à toutes les activités industrielles.
Lire la suite
Pages
