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
Un microrobot FEMTO-ST champion du monde de sprint
Face aux plus grandes universités du monde, le microrobot réalisé à l’institut FEMTO-ST de Besançon a remporté le 5 mai 2010 l’épreuve reine du sprint lors du championnat du monde de microrobotique en Alaska organisé dans le cadre du congrès ICRA.
Lire la suite
Serge Grop récompensé par le prix EFTF Best Student Paper Award
Serge Grop (doctorant Temps-Fréquence) a reçu le prix EFTF Best Student Paper Award in the area of MAterialsResonators, Oscillators, Synthesizers, Sensors and Transducers lors de la 24ème édition de l’EFTF qui s’est déroulé du 13 au 16 avril 2010 à Noordwijk (NL).
Lire la suite
Journée conjointe GDR Robotique – GDR MECANO
Les 15 et 16 juin prochain, auront lieu à Paris, les journées conjointes GDR Robotique – GDR MECANO. Les Thématiques abordées durant ces deux journées sont : la fonctionnalisation de surface, la modélisation et la caractérisation du contact, et la micro-nanomanipulation robotique.
Lire la suite
Article paru dans la revue IET
10 GHz cryocooled sapphire oscillator with extremely low phase noise
Lire la suite
John Dudley reçoit le Grand Prix de l'Electronique - Général Ferrié
John Dudley reçoit le Grand Prix de l'Électronique - Général Ferrié.
Cette distinction récompense chaque année un ingénieur, un chercheur ou une équipe d'ingénieurs et de chercheurs ayant réalisé des travaux contribuant d'une importante manière aux progrès de la radioélectricité, de l'électronique et de ses applications.
Lire la suite
Summer school in microrobotics and Self-assembly for Hybrid Mems
Cette école d'été s'adresse aux chercheurs, ingénieurs, doctorants qui souhaitent acquérir ou améliorer leurs connaissances et compétences
dans les domaines de la manipulation et de l'assemblage de microsystèmes complexes.
Lire la suite
Mini-colloque Cristaux phononiques, nanophononique et nanothermie des matériaux (JMC12, Troyes)
Les 12ièmes Journées de la Matière Condensée (JMC12) se tiendront du 23 au 27 août 2010 à l'Université de Technologie de Troyes. Nous avons le plaisir d'organiser durant ces journées un mini-colloque sur les Cristaux phononiques, la nanophononique et la nanothermie des matériaux.
Lire la suite
Test du nouveau microscope confocal laser
OLYMPUS en collaboration avec FEMTO-ST vous convie les 25 et 26 mars
à venir tester par vous-même une nouvelle solution de microscopie confocale.
Lire la suite
Une alliance franco-américaine dans les nanosciences
L’agence nationale de la recherche (ANR) vient de labelliser un projet de recherche qui est retenu conjointement par l’ANR et par son homologue américaine, la National Science Foundation (NSF).Le consortium est constitué autour de trois laboratoires : le CEMES (Toulouse), FEMTO-ST (Besançon/Montbéliard) et l’Université de l’Ohio (Etats-Unis).
Lire la suite
4M conference 2010
Co-organisée par FEMTO-ST, la conférence 4 M 2010 sera organisée à Oyonnax du 17 au 19 novembre prochain.
Lire la suite
Pages