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
FEMTO-Innovation au salon EPMT
FEMTO-Innovation était présent à la deuxième édition du salon EMPT qui s'est tenu à Lausanne du 3 au 6 juin 2008 dernier et qui a réuni plus d'une centaine d'acteurs impliqués dans les domaines d'application des micro et nanotechnologies.
Lire la suite
Clinical Proteomics in Oncology
Dear Colleague,
The French Institute of Cancer (Canceropole Grand-Est) and the CLIPP Proteomic Platform (Dijon, Besançon) organize the 2nd international conference entitled "Clinical Proteomics in Oncology" in Dijon (France) on July 3rd and 4th , 2008.
Lire la suite
Journée FEMTO-ST / Energie à Belfort le 15 mai
Les enjeux liés à l’énergie revêtent un caractère de plus en plus primordial. C’est pourquoi, avec nos partenaires industriels, nous avons organisé le jeudi 15 mai 2008 au Centre Atria de Belfort, une journée pour présenter les défis scientifiques et technologiques ainsi que nos activités de R&D dans le secteur de l’énergie.
Lire la suite
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
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
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
Best Poster Award at ElecMOl’06
A joint report of collaborative work with researchers of the Laboratoire de Physique Moléculaire was awarded a Best Poster Award during the ElecMOl’06 meeting (December 2006, Minatec, Grenoble, FRANCE). The topic of the communication was about "self-assembly & supramolecular architecture".
Lire la suite
Conférence de Oliver Wright le 13 septembre 2007
Tracking surface phonons on phononic crystals
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
Pages
