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
A la rencontre des acteurs de l'Innovation
Tout au long de la journée du jeudi 19 mars 2009, rencontrez les acteurs de l’innovation, ceux qui la font et ceux qui peuvent vous aider dans votre démarche…
Faites connaissance avec les entreprises et les projets incubés de TEMIS Innovation, ils vous ouvrent leurs portes.
Lire la suite
Séminaire 'Saisir les opportunités dans la nano-photonique'
Profitant de la présence en France de James Pond, expert en modélisation optique par la méthode "Finite Difference Time Domain", nous vous invitons à venir l'écouter lors du séminaire intitulé : "Saisir les opportunités dans la nano-photonique"
Ce séminaire aura lieu le vendredi 3 avril 2009 à 14h dans l'amphi FEMTO-ST.
Lire la suite
Journée Test et mesure AGILENT
Exposition de matériels test et conférence sur les oscilloscopes et l'intégrité du signal le jeudi 2 avril 2009 de 9h30 à 17h00 à l'institut FEMTO-ST.
Lire la suite
e-maintenance : la Franche-Comté mise sur la plate-forme SISTRE
Stratégie de maintenance et e-maintenance sont les maîtres mots traduisant la problématique industrielle étudiée par FEMTO-ST et plus particulièrement par l’équipe COSMI du département de recherche AS2M. Le système industriel SISTRE, rénové et financé par la région Franche-Comté, permet de marier des outils matériels et logiciels pour mettre au point la maintenance interactive de demain.
Un article de presse est paru dans le bimestriel Référence Industrie de mars 2009
Lire la suite
FEMTO-ST au rassemblement national des délégués de laboratoire
Deux représentants de FEMTO-ST participeront au rassemblement national des délégués de laboratoire, qui a lieu le jeudi 12 mars à l’Institut Océanographique à Paris.
Lire la suite
A la rencontre des acteurs de l'Innovation
Tout au long de la journée du jeudi 19 mars 2009, rencontrez les acteurs de l’innovation, ceux qui la font et ceux qui peuvent vous aider dans votre démarche…
Lire la suite
FEMTO-Innovation présent du 3 au 8 mars sur le salon CeBIT à Hanovre
FEMTO-Innovation à l’instar de 11 autres instituts Carnot membres du groupe « Technologie de l’Information et de la Communication, Micro et Nano Technologies » sera présent au CeBIT, 1er salon mondial des Technologies de l’Information et de la Communication (TIC), du 03 au 08 mars 2009 à Hanovre, Allemagne, sur le pavillon français du hall 9, stands B21 A et H.
Lire la suite
Tête chercheuse en nano-optique
Coup de projecteur sur Maria Pilar Bernal Artajona, chercheuse à FEMTO-ST...
Lire la suite
Concours "Faites de la science"
Le concours "Faites de la science" a pour objectif la promotion des sciences en contribuant à l'acquisition d'une culture scientifique et scientifique et technique et à une ouverture sur la démarche scientifique, par les élèves des collèges et lycées de la région. Toutes les idées sont bonnes pour autant qu'elles entrent dans les objectifs et l'esprit du concours. L'attribution de bourses vise à encourager le maximum d'initiatives.
Lire la suite
Conférences Nanozoom - Micronora
En partenariat avec Micronora, notre institut de recherche organise les 24 et 25 septembre 2008 à Besançon, au cours du salon international des microtechniques, un cycle de conférences de haut niveau en langue française et anglaise dédié aux applications des micro et nanotechnologies.
Lire la suite
Pages
