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-ST porteur de deux CMI de l’Université de Franche-Comté
FEMTO-ST est le laboratoire principal d’appui de deux Cursus de Master en Ingénierie (CMI)qui viennent d’être labellisés par le réseau FIGURE et seront proposés à la rentrée prochaine par l’Université de Franche-Comté. Il s’agit du CMI « Mécanique-EEA » spécialités « Ingénierie Mécanique pour les Structures Intelligentes » et « Microsystèmes, Instrumentation et Robotique » ainsi que du CMI « Physique-EEA » spécialité « Photonique, micro-nanoteChonolgies et TempS-fréquence.
Lire la suite
2ème édition du séminaire croisé LMB-FEMTO
La 2ème édition du séminaire croisé LMB-FEMTO, Mu-Phi aura lieu le 2
Juillet 2013 à l’UFR ST
Lire la suite
Medyna 2013
Du 23 ou 25 avril 2013 se tiendra à Marrakech la première édition de Medyna organisée notamment par le département Méc'Appli.
Lire la suite
Medyna2013
Du 23 ou 25 avril 2013 se tiendra à Marrakech la première édition de Medyna. Cette conférence euro-méditerranéenne réunira des chercheurs de la communauté scientifique internationale, pour discuter des avancées majeures dans le domaine de Vibrations, Acoustique et Vibroacoustique. Il portera sur les méthodes théoriques (analytiques et numériques) et expérimentales de ces sujets en regroupant mathématiciens appliqués, mécaniciens et acousticiens. Une attention particulière sera consacrée aux nouveaux problèmes acousto-mécaniques liés à l'utilisation d'interfaces architecturées, de systèmes utilisant des matériaux spécifiques ou systèmes hybrides (actif / passif).
Lire la suite
John Dudley : Médaille d'argent du CNRS
En raison de l’originalité, de la qualité et de l’importance de ses multiples succès scientifiques en photonique linéaire ultra-rapide, John Dudley, éminent professeur à l’Université de Franche Comté et responsable de l’équipe optoélectronique au sein du département d’optique de l’institut FEMTO-ST, est lauréat 2013 de la médaille d’argent du CNRS.
Lire la suite
Journée de présentation du réseau RTB
La centrale de technologie MIMENTO invite tous ceux qui ont besoin de réaliser des micro- ou nano-objets le vendredi 29 mars 2013 de 10h à 16h à une journée d’information et d’échanges sur les possibilités d’accès à ses ressources technologiques.
Lire la suite
Coup de théâtre au labo FEMTO-ST
C'était une première... la première fois que les membres de la compagnie
Teraluna visitaient un laboratoire de recherche. Et la première fois que les chercheurs de l'Institut FEMTO-ST servaient de source d'inspiration à des artistes.
Découvrez en vidéo quelques moments de cette journée
placée sous le signe du temps et de la lumière.
Lire la suite
Un jour avec...Roland Salut
Un ingénieur de FEMTO-ST dans le journal du CNRS
Lire la suite
Mesure du temps : Chronique sur France Inter
FEMTO-ST dans l'émission "la tête au carré"
Lire la suite
Sarah Benchabane, distinguée par la médaille de bronze du CNRS,
Sarah Benchabane, lauréate 2012 de la section 8 du CNRS a reçu vendredi 14 décembre la médaille de bronze CNRS des mains de Claudine Schmidt-Lainé, directrice de l’Institut des sciences de l’ingénierie et des systèmes (INSIS) du CNRS et de Philippe Piéri, délégué régional CNRS Centre-Est, en présence de Nicolas Chaillet, directeur de l’institut FEMTO-ST, Jacques Bahi, président de l’Université de Franche-Comté, Bernard Cretin, directeur de l’ENSMM et de nombreux collègues, amis et parents.
Lire la suite
Pages
