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
Jeunes chercheurs : quel avenir ?
Organisée le 29 janvier 2010 à l'ENSMM à partir de 14h. Cette manifestation est l'occasion de discuter de différentes problématiques : la relation docteurs/entreprises, l'emploi des jeunes chercheurs en Europe et l'évolution du secteur public.
Lire la suite
FEMTO-Innovation aux rendez-vous CARNOT 2010
Lyon accueillera les 5 et 6 mai 2010 la 3ème édition des rendez-vous CARNOT, un des plus grands rassemblements de laboratoires de recherche partenariale en Europe.
Lire la suite
Journées Codes de calcul en radioprotection, radiophysique et dosimétrie
Organisées les 28 et 29 avril prochain au Musée de l’aventure Peugeot à Sochaux, ces journées francophones ont pour objectif de dresser un état de l’art des codes de calcul de transport des rayonnements, d’estimation de sources et de gestion des doses et de dégager les perspectives d’avenir.
Lire la suite
4èmes journées scientifiques : Codes de calcul en radioprotection, radiophysique et dosimétrie
Organisées les 28 et 29 avril prochain au Musée de l’aventure Peugeot à Sochaux, ces journées francophones ont pour objectif de dresser un état de l’art des codes de calcul de transport des rayonnements, d’estimation de sources et de gestion des doses et de dégager les perspectives d’avenir.
Lire la suite
FEMTO-ST/AS2M dans la revue « Chemical and Engineering News »
Le 21 septembre 2009 est paru un article dans la revue « Chemical and Engineering News » consacré aux travaux du département AS2M.
Lire la suite
Journées GDR MNS 2009
Du 18 au 20 novembre, le Département Micro Nano Sciences et Systèmes (MN2S) de l’Institut FEMTO-ST a organisé à Besançon les Journées Nationales du GdR « Micro et Nano Systèmes (MNS) ».
Lire la suite
d-MEMS 2010 – Besançon 28 et 29 juin
FEMTO-ST et le LIFC organisent le 1er atelier consacré à la conception, la commande et le logiciel pour les MEMS distribués.
Lire la suite
-
Inauguration de la nouvelle salle blanche FEMTO-ST
Le 2 octobre prochain aura lieu l’inauguration de la nouvelle salle blanche de FEMTO-ST situé à TEMIS Innovation – Maison des Microtechniques.
Lire la suite
FEMTO-ST/Mécanique Appliquée, organisateur du CFM 2011
C’est à Marseille, où s’est déroulé le CFM 2009 que la nouvelle est tombée. Le XXe Congrès Français de Mécanique aura donc lieu à Besançon du 29 août au 2 septembre 2011. Face aux candidatures des villes de Lyon et Bordeaux, celle du département de Mécanique Appliquée de FEMTO-ST, soutenue par l’UFC et l’ENSMM a été retenue pour organiser cet évènement en 2011.
Lire la suite
Pages
