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
Frontiers in Photonics Symposium
Ce symposium organisé par FEMTO-ST mettra en vedette vendredi 24 novembre à Besançon l'intervention de deux scientifiques de renommée internationale et sera également l'occasion de rassembler des scientifiques, des post-doctorants et des doctorants autour du thème général de l'optique.
Lire la suite
Du concept de PHM à la maintenance prédictive 2
Brigitte Chebel-Morello, Jean-Marc Nicod, Christophe Varnier du départment AS2M viennent de signer un nouvel ouvrage paru en ce mois de novembre 2017.
Lire la suite
Workshop MicroPhononics & applications
Dans le cadre de son Labex ACTION, FEMTO-ST organise les 16 et 17 novembre un « workshop » sur la microphononique et ses applications, en collaboration avec le GdR META (« Métamatériaux acoustiques pour l'ingénierie »).
Lire la suite
Daniel Hissel lauréat de la Médaille Blondel 2017
Le Jury du Comité Blondel a désigné Daniel Hissel, lauréat de l’édition 2017 de la Médaille Blondel pour ses contributions déterminantes à la conception et à la gestion de systèmes énergétiques utilisant l’hydrogène et les piles à combustible.
Lire la suite
UBFC lauréate du PIA 3 "Ecoles universitaires de recherche"
Le projet "Ingénierie et innovation au travers des sciences physiques, des hautes technologies, et de l'interdisciplinarité" (EIPHI) est lauréat du PIA 3 " Écoles universitaires de recherche "
Porté par Laurent Larger, directeur de FEMTO-ST, ce projet implique l'uB, l'UFC, l'UTBM et l'ENSMM, ainsi que le CNRS. Il s'appuie sur les écoles doctorales Sciences pour l'ingénieur (SPIM) et Carnot-Pasteur et sur les laboratoires FEMTO-ST et ICB.
Lire la suite
Des sons pour moduler la lumière à l'échelle nanométrique
Les modulateurs acousto-optiques permettent de modifier l’intensité des ondes lumineuses grâce aux interactions entre le son et la lumière. Alors que ces systèmes avoisinent la taille d’une boite d’allumettes, des chercheurs de FEMTO-ST ont élaboré une théorie pour en concevoir à l’échelle nanométrique. Ces travaux sont publiés dans la revue Optica et sont mis en avant par l’institut INSIS du CNRS.
Lire la suite
Laurent LARGER en direct sur RFI !
Pourquoi s’inspirer du cerveau pour les ordinateurs du futur ? Laurent Larger nous répond !
Lire la suite
Le projet ANR NEMRO mis en lumière par IEEE Spectrum !
Le projet ANR NEMRO présenté à la conférence IEEE/RSJ a été sélectionné par IEEE Spectrum !
Lire la suite
De nouveaux capteurs pour localiser les foyers épileptiques dans le cerveau
Grâce à de nouveaux capteurs non-métalliques brevetés, une électro encéphalographie pourra être réalisée simultanément avec une IRM du cerveau. Une avancée importante pour le diagnostic et le traitement de l'épilepsie et d'autres maladies neuronales, en cours de développement au Département d'optique de FEMTO-ST. Ce projet de maturation soutenue par la SATT Grand Est, d'une durée de 24 mois, fait l’objet d’un article dans la lettre de l’innovation du CNRS.
Lire la suite
Dépister le cancer grâce à l’haleine
Une équipe de recherche de FEMTO-ST a réussi à réaliser un premier prototype de laboratoire permettant l’analyse de la composition chimique de l’haleine pour détecter le cancer du poumon. Cet article est publié dans le journal Sensors and Actuators B.
Lire la suite
Pages
