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
Auréa Technology récompensée !
Auréa Technology, Spin-off de FEMTO-ST, gagnante du prix international de l'innovation 2015 CLEO-Laser Focus world
Lire la suite
La lumière s’invite à l’hôpital d’enfants de Brabois CHRU de Nancy
Le temps d’une émission télévisée sur télé 8, Luc Froehly, chargé de recherche CNRS au département d’optique de FEMTO-ST explorera la thématique de la LUMIÈRE avec les enfants hospitalisés de CHRU de Nancy, mardi 12 mai 2015, de 14h à 16h.
Lire la suite
Le projet I-SITE UBFC pré-sélectionné
Le projet I-SITE de l'Université Bourgogne-Franche-Comté (UBFC) pré-sélectionné...
Lire la suite
FEMTO-ST remet un prix spécial au concours C.Génial 2015
Nicolas Chaillet, Directeur de FEMTO-ST a remis aux collégiens du collège Collucci le Prix spécial « Année de la lumière en France » pour le projet « Image JAILLISSANTE pas si LED »
Lire la suite
Un prix au forum des microscopies à sonde locale 2015
Gaolei Zhan a obtenu le second prix du meilleur poster lors forum des microscopies à sonde locale 2015.
Lire la suite
Observation de l'éclipse solaire - 20 Mars 2015
À l'occasion de l'éclipse partielle du Soleil, l'observatoire de Besançon et l'Association astronomique de Franche-Comté proposent une matinée d'observations pour profiter au mieux du spectacle.
Lire la suite
Concours "Ma thèse en 180 secondes"
180 secondes pour faire partager votre passion. 180 secondes pour expliquer clairement les enjeux de votre thèse. 180 secondes pour convaincre le jury. 180 secondes pour résumer plusieurs années de travail. 180 secondes pour vous qualifier pour la finale nationale. Voilà le challenge du concours « Ma thèse en 180 secondes » (MT180 pour les intimes).
Lire la suite
Journée Micro-cogénération du 29 Janvier 2015 à Paris
Le département ENERGIE de FEMTO-ST a organisé avec l’ATEE (Association Technique Energie Environnement) et le laboratoire SATIE CNAM la 9ème journée Micro-cogénération qui a rassemblée à Paris plus de 100 participants en provenance de France et d'Europe
Lire la suite
Moins le réseau moléculaire est compact et plus les molécules sont liées entre elles !
Sur une surface inerte de silicium, une même molécule peut conduire à plusieurs formes cristallines. Pour certaines molécules, le cristal le plus stable, qui présente le plus grand nombre de liaisons chimiques entre molécules, est aussi celui qui correspond à une phase peu dense. Ce résultat contre-intuitif a été obtenu par des chercheurs de l’IEMN et de l’Institut FEMTO-ST en combinant observations au microscope à effet-tunnel et simulations numériques. Publié dans Physical Review Letters, il démontre l’influence de la surface sur le contrôle du degré de compacité et de coordination des réseaux moléculaires.
Lire la suite
Premier prototype européen de robot endoscopique pour la micro-chirurgie laser des cordes vocales
Dans le cadre d’un projet européen collaboratif, l’institut FEMTO-ST et le CHRU de Besançon, avec leurs partenaires, relèvent un nouveau défi microtechnique, au service de la santé, à travers des essais précliniques du premier robot endoscopique pour la micro-chirurgie laser des cordes vocales.
Lire la suite
Pages
