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
Atelier SMYLE 2013 - Intelligences dans les smart systems
L’Atelier "SMYLE" ‘Intelligences dans les smart systems’ aura lieu les 12 et 13 septembre 2013 dans les locaux de l’ENSMM à Besançon.
Lire la suite
Prix de la meilleure thèse en génie électrique décerné à Amine MIRA
Lors de la Conférence des Jeunes Chercheurs en Génie Electrique, Amine Mira a obtenu le prix de la meilleure thèse ayant trait aux applications industrielles.
Lire la suite
École thématique (EFTS) «Temps−Fréquence et Applications»
Le Département Temps−Fréquence de FEMTO−ST et le réseau LABEX FIRST−TF organisent une École thématique CNRS European Frequency and Time Seminar (EFTS) du 26 au 30 août 2013.
Lire la suite
FEMTO-ST présent sur le salon EPMT - EPHJ
FEMTO-ST participera du 11 au 14 juin 2013 au salon international EPMT, consacré à l'ensemble des microtechnologies.
Lire la suite
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
TEMIS SCIENCES : Visite chantier J-365 jours
Le bâtiment de recherche dédié à l'institut FEMTO-ST, en cours de construction au cœur la technopole TEMIS à Besançon, sera livré d'ici un an. A cette occasion, une visite chantier rassemblant les partenaires a lieu mercredi 29 mai et marquera l'entrée du projet dans sa dernière ligne droite.
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
Pages
