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

Concours "Ma thèse en 180 secondes"

180 secondes pour faire partager votre passion. 180 secondes pour expliquer clairement les enjeux de votre thèse. 180 secondes pour convaincre le jury. 180 secondes pour résumer plusieurs années de travail. 180 secondes pour vous qualifier pour la finale nationale. Voilà le challenge du concours « Ma thèse en 180 secondes » (MT180 pour les intimes).
Lire la suite
Journée Micro-cogénération du 29 Janvier 2015 à Paris

Le département ENERGIE de FEMTO-ST a organisé avec l’ATEE (Association Technique Energie Environnement) et le laboratoire SATIE CNAM la 9ème journée Micro-cogénération qui a rassemblée à Paris plus de 100 participants en provenance de France et d'Europe
Lire la suite
Moins le réseau moléculaire est compact et plus les molécules sont liées entre elles !

Sur une surface inerte de silicium, une même molécule peut conduire à plusieurs formes cristallines. Pour certaines molécules, le cristal le plus stable, qui présente le plus grand nombre de liaisons chimiques entre molécules, est aussi celui qui correspond à une phase peu dense. Ce résultat contre-intuitif a été obtenu par des chercheurs de l’IEMN et de l’Institut FEMTO-ST en combinant observations au microscope à effet-tunnel et simulations numériques. Publié dans Physical Review Letters, il démontre l’influence de la surface sur le contrôle du degré de compacité et de coordination des réseaux moléculaires.
Lire la suite
Premier prototype européen de robot endoscopique pour la micro-chirurgie laser des cordes vocales

Dans le cadre d’un projet européen collaboratif, l’institut FEMTO-ST et le CHRU de Besançon, avec leurs partenaires, relèvent un nouveau défi microtechnique, au service de la santé, à travers des essais précliniques du premier robot endoscopique pour la micro-chirurgie laser des cordes vocales.
Lire la suite
Moins le réseau moléculaire est compact et plus les molécules sont liées entre elles !

Des chercheurs de l’IEMN et de l’institut FEMTO-ST ont étudié l’influence de la surface sur la compacité et la coordination de réseaux moléculaires. Bien que contre-intuitifs, ces résultats, publiés dans la revue Physical Review Letters, démontrent que le réseau le plus dense n’est pas celui dans lequel les molécules sont le plus liées entre elles.
Lire la suite
La microrobotique, science fiction pour Disney, réalité pour FEMTO-ST

A l'occasion de la sortie du film "Les nouveaux héros", la nouvelle production issue des studios d'animation de Disney, l'institut FEMTO-ST sort son nouveau microrobot samedi 14 février 2015 à 15h30 au cinéma Mégarama à Besançon
Lire la suite
Percipio Robotics, prix de l'innovation au concours national de robotique

Start-up issue de l'institut FEMTO-ST, l’entreprise Percipio Robotics, qui commercialise des robots de micromanipulation, est le lauréat national du prix de l’innovation de la robotique collaborative décerné par le ministère de l’Economie, de l’Industrie et du Numérique.
Lire la suite
Lancement officiel de l’année internationale de la lumière à l’UNESCO

Lundi 19 et mardi 20° janvier a lieu, au siège de l’UNESCO à Paris, le lancement officiel de « l’année internationale de la lumière 2015 ». Cette initiative, portée par John Dudley de l’institut FEMTO-ST, vise à sensibiliser les citoyens du monde entier sur l'importance, dans leur vie quotidienne, de la lumière et des technologies qui y sont associées par l’organisation de multiples évènements scientifiques, culturels et artistiques tout au long de l’année
Lire la suite
Comment mesurer et comprendre le mécanisme de déplacement des cellules du système immunitaire

Fruit d’une collaboration interdisciplinaire portée par l’Institut de Pharmacologie et de Biologie Structurale (IPBS-CNRS/Toulouse), le LAAS et impliquant l’institut FEMTO-ST, le résultat de ces travaux de mesure développés à l’échelle nanométrique a été publié dans la prestigieuse revue « Nature communications ».
Lire la suite
Création de la Start-up AFULub

La start-up AFULub fait son entrée dans l'incubateur.
Lire la suite