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
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
Des stages à pourvoir à FEMTO-ST !
Vous êtes étudiants en 2ème année de master ou en dernière année d’école d’ingénieur et vous recherchez un stage de 3 mois ou plus dans un laboratoire reconnu au niveau international, FEMTO-ST vous propose tout au long de l’année 2009 des sujets de stages riches et variés.
Lire la suite
Réunion d’information sur les appels à projets P3N de l’ANR
Robert Plana et Thiery Bosc de l’ANR, viendront présenter le programme P3N 2009 à l’institut FEMTO-ST le jeudi 5 février de 10h à 12h dans l'amphi FEMTO-ST au 32 avenue de l'observatoire à Besançon. Cette présentation est destinée aussi bien aux universitaires qu’aux industriels de la région Bourgogne / Franche-comté.
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
Best Poster Award: Younes Makoudi@Elecmol08
Younes Makoudi, PhD@FEMTO-ST, won the best poster award during the Elecmol08 international conference in Grenoble on December 12 (www.elecmol.com). The aim of his work is the adsorption of functional molecules on surfaces which plays a vital role in the emerging field of nanoelectronics.
Lire la suite
Exposition FEMTO-ST - Bibliothèque Universitaire Belfort - du 1er décembre au 15 janvier 2009
Cette exposition présente les activités de l'institut. Qui fait de la Science ? Des femmes et des hommes aux parcours divers, des chercheurs, des enseignants et des étudiants motivés. Les thèmes abordés sont relatifs au temps, à l'énergie, à la nanotechnologie, à l'optique, à l'automatique et à la mécanique. Découvrez le quotidien du chercheur et la passion qui l'anime.
Lire la suite
Journée Technique Microstructures / MEMS
En partenariat avec la société POLYTEC-PI, nous organisons une « journée technique microstructures» qui aura lieu le jeudi 20 novembre 2008 dans les locaux de TEMIS INNOVATION – Maison des Microtechniques à Besançon.
Lire la suite
Pages
