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
FEMTO-ST : Lauréat des lauréats des trophées de l’INPI
A l’occasion de ses 60 ans et des 20 ans de ses trophées de l’Innovation, l’INPI a mis en avant ses 6 lauréats les plus talentueux des 20 dernières éditions et a décerné à FEMTO-ST le prix spécial 2011 dans la catégorie « centres de recherche »
Lire la suite
FEMTO-ST : Résultat du Mois Omicron
Un article sélectionné par la société Omicron en tant que résultat du mois.
Lire la suite
journée d'information : appels à proposition ERC 2012
Une demi‐journée d’information consacrée aux appels à proposition ERC 2012 aura lieu le vendredi 16 Septembre 2011 de 13h45 à 17h
Lire la suite
Michaël Gauthier reçoit une médaille de Bronze du CNRS 2011
Michaël Gauthier est lauréat 2011 de l’Institut des sciences de l'ingénierie et des systèmes (INSIS)du CNRS.
Lire la suite
CFM 2011 à Besançon
La 20ème édition du Congrès Français de Mécanique se tiendra à Besançon du 29 août au 2 septembre 2011. Il est organisé par le département Mécanique Appliquée de l’institut FEMTO-ST.
Lire la suite
Workshop Arc-et-Senans - 14 septembre 2011
Cet atelier est couplé cette année avec le workshop NAMIS. Les thèmes traités par les conférenciers seront les Enjeux sociaux et économiques des applications sans fil (Wireless) dans les domaines de l’environnement, de la santé et de la sécurité ainsi que le Management multiculturel et l’Emergence d’une société globale
Lire la suite
Birgit STILLER, lauréate du Prix A'Doc 2011
Birgit STILLER, Doctorante au Département Optique, est lauréate du Prix A'Doc 2011 pour son article « Son et Lumière dans les fibres optiques microstructurées »
Lire la suite
Journée technique : Microélectronique et MEMS
Organisée par FEMTO-ST, le Pôle des Microtechniques et Cap'Tronic, cette journée aura lieu le 5 juillet prochain et sera l'opportunité de rencontres et d'échanges entre académiques, industriels fabricants de produits micro-assemblés et offreurs de solutions de micro-assemblage.
Lire la suite
Le microrobot FEMTO-ST double champion du monde de vitesse
Après avoir décroché leur premier titre de champion du monde l’année dernière en Alaska, nos chercheurs franc-comtois sont venus hier à Shanghai réitérer leur performance pour s’illustrer à nouveau dans la coupe internationale de microrobotique.
Lire la suite
FEMTO-ST publie dans Angewandte chemie international edition
Un consortium de chercheurs issus de l’Institut FEMTO-ST et l’Institut de Sciences et Matériaux de Mulhouse vient de publier un article dans Angewandte chemie international edition exposant leur capacité à organiser des molécules sur une surface semiconductrice avec une précision atomique.
Lire la suite
Pages
