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 Share Tech DAY
Femto-ST organise son 1er Share Tech Day sur le thème de la santé le 24 novembre prochain, à vos agendas !
Lire la suite
Atelier SMYLE, 22 et 23 septembre 2016
Les ateliers SMYLE sont organisés dans le cadre du Collégium International franco-suisse SMYLE entre EPFL et FEMTO-ST.
Cette année, des conférences et des sessions posters traiteront des sujets “Internet of things” et “Understand the issues and challenges of the connected world”.
Lire la suite
Le 1er prix de "Ma thèse en 180 secondes - Indonésie" remportée en Mécanique Appliquée
Félicitations à Gemala Hapsari, Doctorante en Mécanique Appliquée, qui a remporté la finale Indonésienne du concours.
Lire la suite
FEMTO-ST conclut un partenariat pour la recherche avec PSA
Le 19 mai dernier, la Région Bourgogne Franche-Comté et l’institut FEMTO-ST (par l’intermédiaire de ses établissements de tutelle)a signé une convention de partenariat avec le groupe PSA Peugeot Citroën en vue de renforcer les collaborations déjà existantes de recherche et de transfert de technologies.
Lire la suite
Prix de la meilleure thèse en Génie Electrique pour Zhixue Zheng
Décerné pour les années 2014 et 2015 conjointement par la société savante Club EEA et le GdR du CNRS SEEDS qui rassemble tous les laboratoires de Génie Electrique français, ce prix vient récompenser les travaux menés par Zhixue Zheng au sein du département ENERGIE de FEMTO-ST, dans le cadre de la fédération FCLab, sur le diagnostic en ligne de pile à combustible de type PEMFC.
Lire la suite
International Summer School on PEM Fuel Cell Systems
FEMTO-ST, FC Lab et le LabEx ACTION organisent l'école d'été "From Diagnostics to Fault Tolerant Control of PEM Fuel Cell Systems" du 4 au 8 juillet 2016 à Belfort.
Lire la suite
Colloque "Fatigue et durabilité des composites biosourcés"
Le département Mécanique Appliquée organise le colloque intitulé Fatigue et durabilité des composites biosourcés. Il se tiendra à Besançon du 25 au 27 mai 2016.
Lire la suite
Student Poster Award à la conférence IEEE International Frequency Control Symposium,
Etienne Vaillant, Doctorant au département Temps-Fréquence de FEMTO-ST a obtenu un Student Poster Award à la conférence IEEE International Frequency Control Symposium, qui s'est tenue à New-Orleans, Louisiana (USA) du 9 au 12 mai.
Lire la suite
Nicolas Chaillet élu président de la COMUE Université Bourgogne Franche-Comté
Le conseil d’administration de la COMUE Bourgogne Franche-Comté, réuni le 25 avril, a élu à sa présidence Nicolas Chaillet pour un mandat de 4 ans. Actuellement professeur à l’Université de Franche-Comté et directeur du laboratoire FEMTO-ST, Nicolas Chaillet démissionne donc de ses fonctions à FEMTO-ST.
Le directeur adjoint, Laurent Larger, reprend la direction par intérim.
Lire la suite
Numéro spécial des Comptes Rendus Physique sur les cristaux phononiques
À lire : numéro spécial des Comptes Rendus Physique (revue internationale de l'Académie des Sciences) consacré aux cristaux phononiques et coordonné par Vincent Laude.
Lire la suite
Pages
