L'institut
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

  • Best Poster Award: Younes Makoudi@Elecmol08

    Younes Makoudi, PhD@FEMTO-ST, won the best poster award during the Elecmol08 international conference in Grenoble on December 12 (www.elecmol.com). The aim of his work is the adsorption of functional molecules on surfaces which plays a vital role in the emerging field of nanoelectronics.

    Lire la suite

  • Exposition FEMTO-ST - Bibliothèque Universitaire Belfort - du 1er décembre au 15 janvier 2009

    Cette exposition présente les activités de l'institut. Qui fait de la Science ? Des femmes et des hommes aux parcours divers, des chercheurs, des enseignants et des étudiants motivés. Les thèmes abordés sont relatifs au temps, à l'énergie, à la nanotechnologie, à l'optique, à l'automatique et à la mécanique. Découvrez le quotidien du chercheur et la passion qui l'anime.

    Lire la suite

  • Journée Technique Microstructures / MEMS

    En partenariat avec la société POLYTEC-PI, nous organisons une « journée technique microstructures» qui aura lieu le jeudi 20 novembre 2008 dans les locaux de TEMIS INNOVATION – Maison des Microtechniques à Besançon.

    Lire la suite

  • Inauguration plateforme industrielle de productique SISTRE

    Cette manifestation, destinée aux industriels vous permettra de découvrir au sein d’un même système de production, une très grande diversité de matériels et de technologies innovantes.

    Lire la suite

  • The Nanosciences group selected by Omicron for their Result of the Month

    Omicron, a private company that manufactures surface tunneling microscopes (STM), has selected a paper of the Nanosciences group that recently appeared in Physical Review Letters as its Result of the Month for October 2008.

    Lire la suite

  • Omicron sélectionne des résultats du groupe Nanosciences pour son résultat du mois d'octobre

    La société Omicron, qui fabrique des microscopes STM, a choisi de présenter un article du groupe Nanosciences de l'équipe MINANO paru dans Physical Review Letters comme résultat du mois d'octobre.

    Lire la suite

  • Micronora 2008 : Micron d’or et micro-vache

    Ce fut l’une des attractions au salon Micronora de Besançon : la plus petite vache du monde pèse 830 nanogrammes, soit 10 % du poids d’un grain de sable. Les 5 pièces de cette micro-vache en résine souple et transparente à la lumière ont été montées en moins d’une heure à l’aide de la station de micro assemblage Pronomia de FEMTO-ST qui a reçue un Micron d’Or 2008.

    Lire la suite

  • FEMTO-ST dans le classement des meilleurs laboratoires français de l’EXPRESS

    Dans l'édition de l'hebdomadaire l'EXPRESS du 12 juin, FEMTO-ST figure dans la liste des unités de recherche d'excellence en France.

    Lire la suite

  • FEMTO-Innovation au Salon Européen de la Recherche et de l’Innovation

    FEMTO-Innovation était présent au Salon Européen de la Recherche et de l’Innovation sur le stand de l'association des instituts Carnot les 5, 6 et 7 juin dernier à la Porte de Versailles à Paris (Stand B2 – Hall 5.1).

    Lire la suite

  • FEMTO-Innovation au salon EPMT

    FEMTO-Innovation était présent à la deuxième édition du salon EMPT qui s'est tenu à Lausanne du 3 au 6 juin 2008 dernier et qui a réuni plus d'une centaine d'acteurs impliqués dans les domaines d'application des micro et nanotechnologies.

    Lire la suite