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
Molécules sur substrat semi-conducteur à température ambiante
Le groupe « nanosciences » vient de démontrer pour la première fois qu’il est possible d’observer des molécules organiques conjuguées qu’elles soient isolées ou auto-assemblées sur des substrats semi-conducteurs à température ambiante.
Lire la suite
Current Biology publie les observations par AFM des microtubules réalisées par C. Elie-Caille
Ce travail montre que la microscopie à force atomique (AFM) permet une résolution moléculaire permettant d’imager des protofilaments individuels de tubuline dans leur environnement natif, à une résolution moléculaire...
Lire la suite
FEMTO-ST élargit ses compétences
Dès janvier 2008, FEMTO-ST s’élargit, se réorganise et consolide ses activités de recherche dans le domaine des sciences pour l’ingénieur en intégrant de nouvelles compétences.
FEMTO-ST est aujourd’hui un laboratoire public de 500 personnes avec 6 départements de recherche et une centrale de technologie en ordre de marche pour de nouvelles avancées scientifiques, technologiques et partenariales.
Lire la suite
Prix du meilleur poster lors d'une conférence internationale en Inde
A. Singh a reçu le prix du meilleur poster lors la conférence internationale sur les sciences et nanotechnologies qui s'est déroulée à Gurgaon en Inde, du 17 au 21 Décembre 2007. Ce prix vient récompenser un travail résultant de la collaboration franco-indienne financée par le programme CEFIPRA entre FEMTO-ST et l'Université de Pune.
Lire la suite
Naissance du département FEMTO-ST/MN2S
MN2S est né officiellement le premier janvier 2008 ! La vocation de ce département pluridisciplinaire est fédérer les recherches en micro et nano sciences au sein de FEMTO-ST.
Lire la suite
Fu-Li Hsiao receives a Best Student Paper Award at IEEE Ultrasonics Symposium 2007
Fu-Li Hsiao, a PhD candidate shared with the National Central university of Taipei, Taiwan, has received one of the Best Student Paper Awards at IEEE Ultrasonics Symposium 2007, held in New York from October 17-31, 2007. The title of his contribution was "Experimental Study of Complete Band Gaps and Waveguiding inside Phononic Crystal Slabs".
Lire la suite
Bilan de la journée FEMTO-Innovation - 4 octobre 2007
L’institut Carnot « FEMTO-Innovation » a ouvert ses portes à ses partenaires socio-économiques lors d’une journée découverte qui a eu lieu le 4 octobre 2007 à Besançon.
Lire la suite
Worshop - Prolégomènes au calcul quantique
Le worshop "Prolégomènes au calcul quantique" aura lieu à FEMTO-ST à Besançon, les 21et 22 novembre 2007. Ce workshop est soutenu par un Projet exploratoire pluridisciplinaire (PEPS) du département ST2I du CNRS.
Lire la suite
Conférence de Oliver Wright le 13 septembre 2007
Tracking surface phonons on phononic crystals
Lire la suite
International Symposium on Flow Visualization and Image Processing
Congrès international consacré à la visualisation d'écoulements et au traitement des images revient en France !
Il se déroulera à Nice du 1 au 4 juillet 2008.
Lire la suite
Pages
