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
Romain Martinenghi et Émeline Saint Ellier lauréats du Prix A'Doc 2013
Romain Martinenghi (optique) et Émeline Saint Ellier (énergie) sont lauréats du Prix A'Doc 2013 de l'Université de Franche-Comté.
Lire la suite
Séminaires d'un chercheur NASA
Abhinav Saxena, chercheur au sein du Prognostics Center of Excellence de la NASA assurera trois séminaires du 03 au 17 juin.
Lire la suite
Des biopuces pour percer les mécanismes de développement des cancers
Une avancée majeure dans la compréhension des mécanismes de développement de nouvelles tumeurs lors de traitements par chimiothérapies a été obtenue récemment par l’équipe du Pr. François Ghiringhelli (Inserm Avenir, CGFL, Dijon) appuyé par le potentiel biopuce à résonance des plasmons de surface (SPR) développé au sein du département Micro Nano Sciences et Systèmes de FEMTO-ST (Bruchard et al., Nature Med, Jan 2013)
Lire la suite
Réunion de lancement du projet Interreg « Maintenance Prédictive des systèmes industriels »
Le lancement du projet MainPreSI aura lieu le mercredi 22 mai 2013 de 15h00 à 17h00 dans les locaux de l’Ecole Nationale Supérieure de Mécanique et des Microtechniques (Besançon)
Ce projet qui se déroulera sur une période de 30 mois (2013-2015) est une collaboration franco-suisse, mais également un partenariat R&D entre des industriels et des chercheurs issus à la fois de l’institut FEMTO-ST et de l’école polytechnique fédérale de Lausanne.
Lire la suite
Javier Solano obtient le prix Jeune Docteur 2013 de l'Université de Franche-Comté
Javier Solano, ancien doctorant au Département Energie de l'institut FEMTO-ST, vient d'obtenir le prix Jeune Doctorant 2013 de l'Université de Franche-Comté pour son projet de valorisation dans le domaine de la gestion d'énergie des véhicules hybrides.
Lire la suite
FEMTO-ST porteur de deux CMI de l’Université de Franche-Comté
FEMTO-ST est le laboratoire principal d’appui de deux Cursus de Master en Ingénierie (CMI)qui viennent d’être labellisés par le réseau FIGURE et seront proposés à la rentrée prochaine par l’Université de Franche-Comté. Il s’agit du CMI « Mécanique-EEA » spécialités « Ingénierie Mécanique pour les Structures Intelligentes » et « Microsystèmes, Instrumentation et Robotique » ainsi que du CMI « Physique-EEA » spécialité « Photonique, micro-nanoteChonolgies et TempS-fréquence.
Lire la suite
2ème édition du séminaire croisé LMB-FEMTO
La 2ème édition du séminaire croisé LMB-FEMTO, Mu-Phi aura lieu le 2
Juillet 2013 à l’UFR ST
Lire la suite
Medyna2013
Du 23 ou 25 avril 2013 se tiendra à Marrakech la première édition de Medyna. Cette conférence euro-méditerranéenne réunira des chercheurs de la communauté scientifique internationale, pour discuter des avancées majeures dans le domaine de Vibrations, Acoustique et Vibroacoustique. Il portera sur les méthodes théoriques (analytiques et numériques) et expérimentales de ces sujets en regroupant mathématiciens appliqués, mécaniciens et acousticiens. Une attention particulière sera consacrée aux nouveaux problèmes acousto-mécaniques liés à l'utilisation d'interfaces architecturées, de systèmes utilisant des matériaux spécifiques ou systèmes hybrides (actif / passif).
Lire la suite
Medyna 2013
Du 23 ou 25 avril 2013 se tiendra à Marrakech la première édition de Medyna organisée notamment par le département Méc'Appli.
Lire la suite
John Dudley : Médaille d'argent du CNRS
En raison de l’originalité, de la qualité et de l’importance de ses multiples succès scientifiques en photonique linéaire ultra-rapide, John Dudley, éminent professeur à l’Université de Franche Comté et responsable de l’équipe optoélectronique au sein du département d’optique de l’institut FEMTO-ST, est lauréat 2013 de la médaille d’argent du CNRS.
Lire la suite
Pages
