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
Inauguration plateforme µROBOTEX
Dans le cadre de la semaine européenne de la robotique, FEMTO-ST inaugure lundi 25 novembre à 10h dans les locaux de l’ENSMM (Besançon), sa nouvelle plateforme dédiée au développement de projets sur la manipulation et l’assemblage automatisé de micro/nano-composants.
Ouverte aux partenaires académiques et industriels, cette plateforme de tout premier plan international est aujourd’hui opérationnelle.
Lire la suite
François Bastien auteur de : Sciences exactes ? Les limites de la science
Physicien de formation, François Bastien a enseigné dans de nombreux domaines : mathématiques, électricité, optique, thermodynamique, physique des vibrations, physique des capteurs, acoustique des solides, informatique, électronique numérique et électrotechnique.
Lire la suite
Electrochemical Components, un ouvrage co-écrit par Marie-Cécile Pera et Daniel Hissel
Nos besoins en objets électriques nomades sont croissants, et ceci dans une gamme étendue de puissance, allant du téléphone portable au véhicule électrique.
Cet ouvrage s’intéresse aux moyens de stockage communément utilisés dans des systèmes hybrides, pour des applications stationnaires ou transport. Il s’appuie sur des principes de base de l’électrochimie accessibles avec un bagage minimal de culture scientifique.
Lire la suite
HAPTIQUE : 1er Forum international sur les propriétés sensorielles et tactiles des matériaux
Les 29 et 30 octobre 2013 se tiendra, dans les locaux de l’ENSMM, le premier forum international Haptique qui a pour objectif de faire le point sur les propriétés sensorielles et tactiles des matériaux.
Lire la suite
La nouvelle salle blanche de FEMTO-ST bientôt opérationnelle
Prévue dans le cadre du projet TEMIS Sciences, la livraison de l’extension de la salle blanche située dans le bâtiment TEMIS-Innovation-Maison des Microtechniques sur le technopole TEMIS à Besançon aura lieu fin septembre.
Lire la suite
Prix
Obtention du prix catégorie "doctorants" au 21ème Rudy Scavuzzo Student Paper symposium and Competition à la conférence ASME 2013 Pressure Vessels & Piping Division Conference 2013
Lire la suite
Un ouvrage sur la robotique flexible co-édité par Nicolas Chaillet
L’ouvrage « Flexible Robotics: Applications to Multiscale Manipulations » est un aperçu des dernières avancées scientifiques et technologiques en la matière, cet ouvrage est destiné à toute personne intéressée dans le domaine de la robotique flexible et plus particulièrement par la manipulation.
Lire la suite
Nonlinear Optics and Supercontinuum Symposium
La journée "Nonlinear Optics and Supercontinuum Symposium" aura lieu le 20 septembre 2013 à Besançon.
Lire la suite
Prix « Recherche disciplinaire » de l’ANR pour le projet MANUREVA
Porté par Fréderic Dias (ENS Cachan) et John Dudley (FEMTO-ST) le projet MANUREVA consistait à résoudre les mystères de vagues scélérates océaniques grâce à la compréhension des phénomènes extrêmes similaires observés en optique non linéaire. Ce projet a obtenu le prix ANR du numérique catégorie « Recherche disciplinaire »
Lire la suite
Des résultats récents en Systèmes Dynamiques Complexes font la couverture de PRL
L'image de couverture de ce numéro du PRL (revue de physique à très haut facteur d'impact) représente l'enregistrement expérimental d'un état "Chimère" observé dans une dynamique non linéaire à retard à l'institut FEMTO-ST (département optique, Equipe OPTO - Auteurs : L.LARGER B.PENKOVSKYI & Y.MAISTRENKO). Il s'agit de la première identification expérimentale d'un état Chimère dans une dynamique à retard, ces "Chimères" étant des objets dynamiques prédits, ou identifiés, numériquement, au début des années 2000, et observés pour la première fois seulement en 2012 (publiés dans Nature Physics).
Lire la suite
Pages
