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
Des résultats récents en Systèmes Dynamiques Complexes font la couverture de PRL
L'image de couverture de ce numéro du PRL (revue de physique à très haut facteur d'impact) représente l'enregistrement expérimental d'un état "Chimère" observé dans une dynamique non linéaire à retard à l'institut FEMTO-ST (département optique, Equipe OPTO - Auteurs : L.LARGER B.PENKOVSKYI & Y.MAISTRENKO). Il s'agit de la première identification expérimentale d'un état Chimère dans une dynamique à retard, ces "Chimères" étant des objets dynamiques prédits, ou identifiés, numériquement, au début des années 2000, et observés pour la première fois seulement en 2012 (publiés dans Nature Physics).
Lire la suite
"Nonlinear Dynamics Summer School in Peyresq, 2013"
L'école thématique internationale et pluridisciplinaire du CNRS (INSIS INSMI) "Nonlinear Dynamics Summer School in Peyresq, 2013" a lieu du du 23 au 30 Août 2013, à Peyresq, France
Lire la suite
Rodolphe Boudot et Enrico Rubiola récompensés à l'EFTF 2013
Rodolphe Boudot et Enrico Rubiola ont reçu l’Outstanding Paper Award 2012 de l'IEEE UFFC Society.
Lire la suite
-
Erik Vargas Rojas obtient un prix dans la catégorie "doctorants" à la conférence ASME 2013
Erik Vargas Rojas a obtenu un prix catégorie "doctorants" au 21ème Rudy Scavuzzo Student Paper symposium and Competition à la conférence ASME 2013 Pressure Vessels & Piping Division Conference 2013 qui s'est tenu à Paris du 14 au 18 juillet dernier.
Lire la suite
Thibaut Sylvestre reçoit le prix Fabry de Gramont 2012
23 ans après le dernier lauréat franc-comtois, Thibaud Sylvestre, responsable de l'équipe Optique Non Linéaire du Département d'Optique de FEMTO-ST,vient de se voir décerner le Prix Fabry De Gramont 2012 de la Société Française d'Optique pour ses nombreux travaux et résultats marquants en optique non linéaire sur fibre.
Lire la suite
La spin-off frec|n|sys lauréat CNCE 2013
Sylvain Ballandras,ancien chercheur au département temps-fréquence de l’institut FEMTO-ST est l’un des lauréats du 15ème concours national d’aide à la création d’entreprises de technologies innovantes du ministère de l'Enseignement supérieur et de la Recherche, en catégorie création-développement.
Lire la suite
FEMTO-ST anime les nanosciences
Le groupe NanoSciences a réalisé un film d’animation 3D illustrant sa thématique de recherche au sein du département MN2S.
Lire la suite
FEMTO-ST lance un nouveau centre de développement technologique
En lien direct avec l’industrie, FEMTO Engineering se propose d’être en Franche-Comté un nouveau centre de développement technologique issu de la recherche de l’Institut FEMTO-ST dans les domaines de la microfabrication et du micro-usinage, du temps-fréquence, de l’énergie et
des « Smart Systems".
Lire la suite
FEMTO-ST en séminaire scientifique à Besançon
Ce mercredi 26 juin FEMTO-ST organise à Besançon, dans les locaux de la Maison de l’Economie, son deuxième séminaire scientifique.
Cette manifestation a notamment l'objectif de cultiver l'interdisciplinarité, la richesse scientifique et les missions de valorisation et de transfert propres à un institut de recherche en ingénierie.
Lire la suite
Pages
