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
Visite ministérielle à FEMTO-ST
Vendredi 16 mars, La ministre de l'Enseignement supérieur, de la Recherche et de l'Innovation, Frédérique VIDAL, est venue à Besançon découvrir les activités de recherche de FEMTO-ST et échanger avec les membres de l’institut.
Lire la suite
Création de la start-up VERSO Optim
Fondée par trois membres de FEMTO-ST, la spin-off VERSO Optim propose des solutions logicielles d'optimisation efficaces dédiées aux problèmes de planification et d'optimisation dans les contextes industriels, notamment de logistique et de mobilité
Lire la suite
FEMTO-ST sur C8
Les métamatériaux développés par FEMTO-ST pour limiter les nuisances sonores mis en avant dans l'émission "william à midi" sur C8 !!
Lire la suite
-
Métamatériau en torsion…en couverture de Science !
Muamer Kadic, enseignant-chercheur d'UBFC au sein du l’institut FEMTO-ST, est co-auteur d’un article dans la prestigieuse revue "Science" en collaboration avec des partenaires du Karlsruhe Institute of Technology (KIT) en Allemagne.
Leur découverte sur des métamatériaux mécaniques permettant de convertir une simple pression linéaire en un mouvement de torsion pure fait même l’objet de la couverture du journal.
Lire la suite
Concours de photo national #MoiChercheur
Daniel Guneysu, doctorant au sein de l’équipe BioMicrodevices de FEMTO-ST participe au prochain concours photo national #MoiChercheur soumis au vote du public…Soutenez le !
Lire la suite
Solveig Perret (Optique) remporte le prix du meilleur Poster à Tampere
Solveig Perret (département Optique) a été récompensée par le jury du "Symposium on Future Prospects for Photonics on Mid-Infrared Light Sources and Applications" qui a eu lieu à Tampere (Finlande) les 13 et 14 décembre 2017.
Lire la suite
Sabina Kuprenaite reçoit le Best Presentation Award à ISIF 2017
Sabina Kuprenaite (département TF) vient d'être récompensée par l'award de la meilleure présentation lors d'International Symposium on Integrated Functionalities.
Lire la suite
Des chercheurs de FEMTO-ST ont fabriqué un vrai sabre laser
A l'occasion de la sortie du 8ème épisode de STAR WARS, France Bleu Besançon diffuse une interview insolite sur les Skywalker et Kenobi de FEMTO-ST !
Lire la suite
Les experts mondiaux du domaine de l’électrification des véhicules sont réunis à Belfort
Après Séoul, Pékin, Chicago ou encore Montréal,c’est Belfort qui accueille cette année du 11 au 14 décembre quelques 350 chercheurs & ingénieurs,experts mondiaux qui sont venus traiter des sujets liés au développement des véhicules hybrides, électriques, à hydrogène, mais aussi des questions liées à l’infrastructure de recharge de ces véhicules, et plus généralement, des questions de mobilité électrique.
Lire la suite
Pages
