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
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
Inauguration plateforme industrielle de productique SISTRE
Cette manifestation, destinée aux industriels vous permettra de découvrir au sein d’un même système de production, une très grande diversité de matériels et de technologies innovantes.
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
Omicron sélectionne des résultats du groupe Nanosciences pour son résultat du mois d'octobre
La société Omicron, qui fabrique des microscopes STM, a choisi de présenter un article du groupe Nanosciences de l'équipe MINANO paru dans Physical Review Letters comme résultat du mois d'octobre.
Lire la suite
Micronora 2008 : Micron d’or et micro-vache
Ce fut l’une des attractions au salon Micronora de Besançon : la plus petite vache du monde pèse 830 nanogrammes, soit 10 % du poids d’un grain de sable. Les 5 pièces de cette micro-vache en résine souple et transparente à la lumière ont été montées en moins d’une heure à l’aide de la station de micro assemblage Pronomia de FEMTO-ST qui a reçue un Micron d’Or 2008.
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
FEMTO-ST dans le classement des meilleurs laboratoires français de l’EXPRESS
Dans l'édition de l'hebdomadaire l'EXPRESS du 12 juin, FEMTO-ST figure dans la liste des unités de recherche d'excellence en France.
Lire la suite
Abdelkrim Khelif reçoit une médaille de bronze CNRS 2007
Abdelkrim Khelif est le lauréat 2007 de la section 8 du CNRS. Suivant la formule officielle, "La médaille de bronze récompense le premier travail d'un chercheur, qui fait de lui un spécialiste de talent dans son domaine. Cette récompense représente un encouragement du CNRS à poursuivre des recherches bien engagées et déjà fécondes."
Lire la suite
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
Pages
