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
Les experts mondiaux du domaine de l’électrification des véhicules sont réunis à Belfort
Après Séoul, Pékin, Chicago ou encore Montréal,c’est Belfort qui accueille cette année du 11 au 14 décembre quelques 350 chercheurs & ingénieurs,experts mondiaux qui sont venus traiter des sujets liés au développement des véhicules hybrides, électriques, à hydrogène, mais aussi des questions liées à l’infrastructure de recharge de ces véhicules, et plus généralement, des questions de mobilité électrique.
Lire la suite
Daniel Hissel (Département Energie) à la UNE de CNRS Le Journal
A l'occasion du congrès VPPC qui débute le lundi 11 décembre 2017, Daniel Hissel évoque dans CNRS Le Journal les atouts de l'hydrogène...
Lire la suite
Industriels, augmentez votre compétitivité via l'innovation !
Une journée interactive sur la thématique de l'aéronautique pour découvrir les possibilités de collaboration avec l'institut de recherche FEMTO-ST et son centre de R&D FEMTO Engineering.
Lire la suite
FEMTO-ST met en avant ses travaux sur l'intelligence artificielle
Les prouesses de l'intelligence artificielle devraient changer notre quotidien. Laurent Larger et Daniel Brunner (optique) nous éclairent sur cette innovation révolutionnaire : ils utilisent la lumière pour calculer à la manière d'un cerveau humain.
Lire la suite
Des vibrations pour mesurer les microfibres optiques
Les nanotechnologies ont miniaturisé les composants électroniques au point qu’ils nécessitent de nouveaux outils de mesure. Des chercheurs de FEMTO-ST et du laboratoire Charles Fabry proposent ainsi une nouvelle méthode précise et plus simple pour mesurer le diamètre de microfibres optiques grâce à des vibrations sonores.
Ces travaux sont publiés dans la revue Optica et sont mis en avant par le CNRS
Lire la suite
Prix de la meilleure thèse 2016 du GdR Robotique
Mohamed Taha Chikhaoui, Doctorant au sein de l'équipe MiNaRoB du département AS2M de FEMTO-ST, a obtenu le prix de la meilleure thèse 2016 du GdR Robotique pour un "Nouveau concept de robots à tubes concentriques à micro-actionneurs à base de polymères électro-actifs".
Lire la suite
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
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
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
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
Pages
