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
13e édition de la conférence internationale Formal Aspects of Component Software (FACS)
Le département DISC de FEMTO-ST organise, du 19 au 21 octobre à Besançon, la conférence FACS 2016 qui 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.
Lire la suite
FEMTO Engineering partenaire du Carnot Télécom & Société numérique
En juillet dernier le Ministère de l’Enseignement Supérieur et de la Recherche a renouvelé le label Carnot à l’Institut Télécom & Société Numérique (TSN) qui avait déposé une candidature en association avec le centre de développements technologiques de FEMTO-ST, à savoir FEMTO Engineering.
Lire la suite
Mention spéciale du jury sur le salon Micronora 2016
Le département d’optique de FEMTO-ST, à travers Nadège Courjal et son équipe, a développé une nouvelle technologie d’usinage à haut facteur de forme par découpe-polissage permettant la réalisation d’une nouvelle génération de composants optiques miniatures sur le matériau niobate de lithium. Cette innovation lui a valu la mention spéciale du jury sur le salon international des microtechniques ou l’institut FEMTO-ST est présent du 27 au 30 septembre.
Lire la suite
1er symposium national inter-labex
Le 1er symposium national inter-labex« Excellence in Smart systems : les systèmes intelligents au service de la société » aura lieu le mercredi 23 novembre 2016, Besançon.
Lire la suite
Leandro Rodrigues Cunha obtient un best paper award
Leandro Rodrigues Cunha, doctorant au Département Mécanique Appliquée récompensé lors de la conférence ISMA/USD 2016.
Lire la suite
Vincent Laude reçoit le prix IEEE Carl Hellmuth Hertz 2016
Prix international décerné annuellement par la société Ultrasonics, Ferroelectrics, and Frequency Control (IEEE/UFFC), il a été remis, au titre de l'année 2016 ce lundi 19 septembre à Tours, à Vincent Laude, chercheur à l’institut FEMTO-ST, pour ses « contributions substantielles à la physique des cristaux phononiques et des interactions entre son et lumière ».
Lire la suite
Yannick Lefier récompensé lors de NFO-14
Yannick Lefier (Doctorant de département d'Optique) vient de recevoir le prix du meilleur poster de la Conférence NFO-14.
Lire la suite
Rencontre thématique GDR Ondes
"À la frontière de l’optique et de l’acoustique : optomécanique, cristaux phoxoniques, effet Brillouin, acousto-optique"
Lire la suite
L’ingénierie des métamatériaux révolutionne le confort sonore
Solutions isolantes ultra-efficaces et d’épaisseur très fine, les métamatériaux acoustiques développés par une équipe de chercheurs de FEMTO-ST promettent de s’affranchir du bruit et des nuisances sonores. Le projet est accompagné par le programme de prématuration du CNRS.
Lire la suite
Micky Rakotondrabe reçoit le prix "Big on small"
Le prix scientifique international "Big on small" remis à Micky Rakotondrabe (département AS2M) pour ses travaux en micromécatronique.
Lire la suite
Pages
