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

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

Hommage à notre collègue Philippe LUTZ
La communauté universitaire de Bourgogne Franche-Comté vient de perdre soudainement Philippe LUTZ, un collègue et ami de grande valeur, professeur à l’Université de Franche-Comté et chercheur de renom en microrobotique au laboratoire FEMTO-ST.
Lire la suite
Comment créer une liaison chimique avec de la lumière ?
La formation d'une liaison chimique entre deux molécules nécessite souvent un processus d'activation. La lumière est un stimulus qui est particulièrement intéressant. En effet, il évite certains problèmes liés aux autres processus d'activation (chauffage, ajout d'électrons etc.).
Lire la suite
Best student paper Award pour Clément Carlé à la conférence IFCS-EFTF2022
Ce prix a été obtenu dans la catégorie « Microwave Frequency Standards »de cette conférence internationale majeure du domaine de la métrologie temps-fréquence qui s’est déroulée à Paris, du 24 au 28 avril 2022.
Lire la suite
Daniel BRUNNER lauréat d’une bourse ERC Consolidator 2021
Chargé de recherche CNRS à l’Institut FEMTO-ST, Daniel est lauréat d’une prestigieuse bourse du Conseil européen de recherche (ERC) d’un montant de 2 M€ pour son projet INSPIRE
Lire la suite
La formation CMI H3E mise à l’honneur
Porté par Nadia Yousfi Steiner, le CMI H3E vient d’être récompensé par le trophée Hydrogénies pour la catégorie "Prix de la sensibilisation, de l’Education et de la Formation"
Lire la suite
Daniel HISSEL nommé « Fellow » IEEE
Professeur en Génie Electrique à l’Université de Franche-Comté et chercheur à FEMTO-ST, Daniel Hissel a été récompensé pour ses travaux sur les systèmes intégrant l’hydrogène.
Lire la suite
8 mars, Journée Internationale du droit des femmes
"La Liberté, comme la Science, et le droit des Femmes, sont des enjeux fondamentaux de l'Humanité.
Lire la suite
Première observation de l'effet roton dans des métamatériaux
Des travaux expérimentaux menés par FEMTO-ST et le KIT ont montré la possibilité de « piloter » la propagation de l’onde vers l’avant ou vers l’arrière en faisant varier sa fréquence.
Lire la suite
FEMTO-ST partenaire de l'unité Mixte technologique "CAPPLAI"
Des CApteurs pour piloter et optimiser la Performance des Process LAItiers
Lire la suite
Les vésicules extracellulaires (EVs) : des médiateurs intercellulaires aux multiples facettes
La plateforme NanoBioAnalytique (NBA) de FEMTO-ST au service de la qualification des EVs, dans des fluides biologiques complexes, pour des applications diagnostiques ou thérapeutiques.
Lire la suite