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
Vers la création du Collégium international «SMYLE»
Une nouvelle étape dans le partenariat scientifique franco-suisse vient d’être franchie vendredi 14 décembre à Besançon par la signature de la lettre d’intention de création du collégium « SMart sYstems for a better LifE » entre l’Ecole Polytechnique Fédérale de Lausanne «EPFL » pour la Suisse et les tutelles de FEMTO-ST pour la partie française (CNRS, UFC, ENSMM, UTBM)
Lire la suite
Javier Solano obtient le prix "GreenTalents"
Javier Solano vient d'obtenir le prix "GreenTalents" (décerné par l'Allemagne) pour ses travaux sur la gestion d'énergie des véhicules hybrides et électriques.
Lire la suite
Un micron d’or pour la micro horloge atomique de FEMTO-ST
Rodolphe Boudot (département Temps-Fréquence) et Nicolas Passily (département Micro Nano Sciences et Systèmes) ont été récompensés du micron d’or pour leur démonstrateur d’horloge atomique MEMS présenté sur la 19ème édition du salon international des microtechniques MICRONORA.
Lire la suite
Baptiste Véron, Best Theoretical Research Paper Award
Baptiste Véron, doctorant de l'équipe MiNaRoB du département AS2M,
vient d'obtenir le Best Theoretical Research Paper Award à la
4th European Conference on Mechanism Science pour la communication
"Magnetic manipulation with several mobile coils towards
gastrointestinal capsular endoscopy"
B. Véron, J. Abadie, A. Hubert, N. Andreff
Lire la suite
Prix poster Eurosensors
L'équipe de Christophe Gorecki récompensé lors d'Eurosensors 2012
Lire la suite
Nicolas FRIOT, lauréat du concours national OSEO 2012
Nicolas Friot, doctorant au DISC, a obtenu un prix en tant que Lauréat au concours 2012
« Création d'Entreprise de Technologie Innovante », catégorie « Projet en Émergence »,
du Ministère de l' Enseignement Supérieur et de la Recherche en partenariat avec OSEO.
Lire la suite
Cos étendu
Mardi 4 et Mercredi 5 septembre 2012 s'est tenu le premier COS étendu du département.
Lire la suite
Christophe Gorecki mis à l'honneur par la société savante SPIE
Christophe Gorecki a été élu en ce mois d'Août dans le board des directeurs de la société savante SPIE
Lire la suite
Naissance de la Spin-off ExpertiSens
ExpertiSens est une spin-off de FEMTO-ST proposant un service d’expertise sensorielle.
Lire la suite
FEMTO-ST tient séminaire à Belfort les 2 et 3 juillet
FEMTO-ST organise les 2 et 3 juillet prochains à l'ATRIA de Belfort, ses premières journées de séminaire scientifique multi-disciplinaire depuis son renouvellement au rang A+ des meilleures unités de recherche françaises.
Lire la suite
Pages