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

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

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
Abdelkrim Khelif is the recipient of a CNRS 2007 bronze medal

Abdelkrim Khelif was awarded one of the 2007 bronze medals of the CNRS. According to the official wording, "The bronze medal acknowledges the first years of research of a talented young scientist. This award is an incentive from the CNRS to pursue well engaged and already productive researches."
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
Recrutement d'un maître de conférences en dynamique des structures non linéaires

Un poste de maître de conférences en dynamique des structures non linéaires est à pourvoir dans l'équipe dynamique des structures de FEMTO-ST.
Lire la suite
Micron d'or 2006 au salon Micronora

L'équipe Biophotonique s'est vue décerner le micron d'or lors du salon Micronora 2006.
Lire la suite