Départements de recherche

Accueil > L'institut > Actualité > actualité RSS

Actualité de FEMTO-ST


FACS 2016 - The 13th International Conference on Formal Aspects of Component Software

The 13th edition of the international conference on "Formal Aspects of Component Software" (FACS), organized by the DISC department, will take place in Besançon, from 19th to 21st october 2016.

FACS 2016


Context

The component-based software development approach has emerged as a promising paradigm to cope with the complexity of present-day software systems by bringing sound engineering principles into software engineering. However, many challenging conceptual and technological issues still remain in component-/service-based software development theory and practice. Moreover, the advent of cloud computing, cyber-physical systems, and of the Internet of things has brought to the fore new dimensions, such as quality of service, reconfiguration and robustness to withstand inevitable faults, which require established concepts to be revisited and new ones to be developed in order to meet the opportunities offered by those architectures.

FACS 2016 is concerned with how formal methods can be used to make component-based and service-oriented software development succeed. Formal methods have provided a foundation for componentbased
software by successfully addressing challenging issues such as mathematical models for components, composition and adaptation, or rigorous approaches to verification, deployment, testing, and certification.

Click here for more information. (pdf, 774 Ko)


Topics

The conference seeks to address the applications of formal methods in all aspects of software components and services, with a particular focus on cyber-physical systems and the Internet of things. Specific topics include, but are not limited to:
- Formal models for software components and their interaction
- Model based and GUI based testing of components and services
- Models for QoS and other extra-functional properties (e.g., trust, compliance, security) of components and services
- Formal and rigorous approaches to software adaptation and self-adaptive systems


Important dates

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

Toute l'actu de 2017

Concours photo 2016 de l'Optical Society of America, 3ème place pour Rémi Meyer
La photo proposée Rémi Meyer (doctorant Optique) lors du concours photo organisé par l'Optical Society of America a été classée 3ème.
Un cerveau optique ultra rapide
L'association de tous nouveaux concepts de calculs basés sur les réseaux de neurones artificiels, et de composants photoniques, a permis la mise au point d'un processeur optique capable de résoudre des problèmes complexes de manière ultra-rapide. Le résultat de ces travaux développés par une équipe d’opticiens de FEMTO-ST sont publiés dans la revue « Physical Review X »
De nouveaux matériaux contre les nuisances sonores
les sources de pollution sonore sont multiples dans notre quotidien et ont des répercussions aussi bien sur la santé que sur l'économie. À l'institut FEMTO-ST, chercheurs et ingénieurs se penchent sur cette problématique qui nous concerne tous afin de développer des métamatériaux capables d'absorber le son. Pour tester leur invention, direction la salle sourde du laboratoire située dans les locaux de l'IUT…
Nouvelle méthode informatique dans le traitement des tumeurs rénales chez l'enfant
Dans le cadre d’un projet INTERREG, l’institut FEMTO-ST en lien avec ses différents partenaires franco-suisses va développer une méthode informatique capable de construire des représentations en trois dimensions de reins tumoraux chez l’enfant à partir d’images scanner et sans intervention humaine.
Dilater le temps pour mieux prédire les évènements extrêmes
Dilater les échelles de temps pour explorer les évènements extrêmes de la nature semblait impossible… Cette prouesse est désormais envisageable grâce à une équipe de l’Institut FEMTO-ST qui a utilisé une technique innovante de détection permettant de capturer en temps réel de tels évènements. Cette technique, appliquée pour le moment à la photonique, pourrait aider à la prédiction de vagues scélérates à la surface des océans ou d’autres évènements naturels extrêmes. Ces travaux, menés en collaboration avec des chercheurs finlandais, irlandais et canadiens, sont publiés dans la prestigieuse revue « Nature Communications » du 19 décembre 2016.

Toute l'actu de 2017

Toutes les années : 2007 - 2008 - 2009 - 2010 - 2011 - 2012 - 2013 - 2014 - 2015 - 2016 - 2017