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.

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

Journée de présentation du réseau national des grandes centrales de technologie

La journée annuelle de présentation du réseau Renatec-Leti se déroule jeudi 20 mars dans chacune des 7 centrales du réseau national RTB. Elle permet de faire le lien entre ceux qui ont des besoins dans le domaine des micro et nanotechnologies (académiques, industriels, PME, start-up) et les ressources technologiques disponibles au sein de ces centrales réparties sur l’ensemble du territoire.
A Besançon, cette journée est organisée par l’institut FEMTO-ST et se déroule de 10h à 16h dans ses locaux et à la maison des microtechniques.
Lire la suite
Le plein d'hydrogène

Alors que le problème du rejet des particules fines par les voitures diesel est au cœur des débats, l'utilisation de l'hydrogène comme combustible est une alternative sérieuse et intéressante.
Mais il reste des freins au développement de l'hydrogène, notamment son stockage. Un stockage qui doit être sûr, fiable, avec des réservoirs qui puissent se remplir et se vider assez vite. À l'Institut FEMTO-ST, David Chapelle et Ali Haidar Zeaiter étudient le stockage de l'hydrogène dans les alliages solides.
Lire la suite
Voyage au centre d'une fibre optique

Tous les ans, des millions de kilomètres de fibres optiques sont installés dans le monde. Ces longs cheveux de verre permettent de transmettre de très grandes quantités d'informations sous forme de lumière.
Jean-Charles Beugnot, chercheur à l'Institut FEMTO-ST, utilise les fibres optiques de façon un peu différente. Il modifie les propriétés de la lumière, comme sa couleur. L'un de ses objectifs est de mettre au point des réseaux optiques, plus rapides et plus économiques en énergie.
Lire la suite
Premier rotor nanométrique sur une surface de silicium

Le groupe Nanoscience de FEMTO-ST, en collaboration avec le CEMES à Toulouse, a réussi à mettre au point le premier rotor nanométrique sur une surface de silicium. La rotation du nano-rotor est induite par la température et elle est observée par microscopie à effet tunnel à température ambiante. Ces résultats sont publiés dans la revue ChemPhysChem. L’éditeur a choisi d’illustrer la couverture intérieure de son numéro de février par une vue artistique représentant la rotation des molécules sur la surface.
Lire la suite
Journée du réseau national des grandes centrales de micro et nanofabrication

Une journée nationale d’information et d’échange se déroulera le 20 mars prochain, en parallèle dans chacune des grandes centrales du réseau RTB. A Besançon, elle aura lieu de 10h à 16h au sein de la centrale de technologie de FEMTO-ST située à Temis Innovation –Maison des Microtechniques
Lire la suite
3ème édition du séminaire croisé LMB/ FEMTO-ST

La troisième édition du séminaire croisé entre le Laboratoire de Mathématiques de Besançon et l'institut FEMTO-ST se déroulera le mardi 18 février prochain dans les locaux de l'UFR-ST
Lire la suite
Inauguration plateforme µROBOTEX

Dans le cadre de la semaine européenne de la robotique, FEMTO-ST inaugure lundi 25 novembre à 10h dans les locaux de l’ENSMM (Besançon), sa nouvelle plateforme dédiée au développement de projets sur la manipulation et l’assemblage automatisé de micro/nano-composants.
Ouverte aux partenaires académiques et industriels, cette plateforme de tout premier plan international est aujourd’hui opérationnelle.
Lire la suite
François Bastien auteur de : Sciences exactes ? Les limites de la science

Physicien de formation, François Bastien a enseigné dans de nombreux domaines : mathématiques, électricité, optique, thermodynamique, physique des vibrations, physique des capteurs, acoustique des solides, informatique, électronique numérique et électrotechnique.
Lire la suite
Electrochemical Components, un ouvrage co-écrit par Marie-Cécile Pera et Daniel Hissel

Nos besoins en objets électriques nomades sont croissants, et ceci dans une gamme étendue de puissance, allant du téléphone portable au véhicule électrique.
Cet ouvrage s’intéresse aux moyens de stockage communément utilisés dans des systèmes hybrides, pour des applications stationnaires ou transport. Il s’appuie sur des principes de base de l’électrochimie accessibles avec un bagage minimal de culture scientifique.
Lire la suite
HAPTIQUE : 1er Forum international sur les propriétés sensorielles et tactiles des matériaux

Les 29 et 30 octobre 2013 se tiendra, dans les locaux de l’ENSMM, le premier forum international Haptique qui a pour objectif de faire le point sur les propriétés sensorielles et tactiles des matériaux.
Lire la suite