The institute
FEMTO's events
Séminaire

GdR GPL

12 mars 2021
En distanciel

 

Ce séminaire en ligne du groupe de travail "Langages et Vérification de Programmes" du GdR "GPL" du CNRS a lieu le 12 mars 2021.
Organisé par Alain Giorgetti (Université de Franche-Comté, FEMTO-ST) et Julien Signoles (Université Paris-Saclay, CEA List), co-responsables du GT LVP, ce séminaire présentera, en ligne sur "zoom", des travaux récents des membres de ce groupe sous forme d'une série d'exposés.

Plus d'informations

[[{"fid":"8132","view_mode":"default","fields":{"format":"default","alignment":""},"link_text":" Programme","type":"media","field_deltas":{"1":{"format":"default","alignment":""}},"attributes":{"class":"media-element file-default","data-delta":"1"}}]]

 

Passed events

  • Workshop / 25 November 2021 - 26 November 2021 / En distanciel

    Journées STP et Automatique de la SAGIP (en distanciel)

    Read more
  • GDR / 23 November 2021 / Paris Campus de Jussieu

    Séminaire du GdR "Génie de la programmation et du Logiciel"

    Read more
  • Image
    PhD Defense / 17 November 2021 - 20 November 2021 / Amphithéâtre 302 - UFR STGI Montbéliard

    Charles LORENZO : "Methodology and tools for the multicriteria optimization of a hybrid electric hydrogen train architecture""

    Read more
  • Symposium / 02 November 2021 - 05 November 2021 / Besançon - FEMTO-ST 15B avenue des Montboucons

    International Symposium on Optomechatronic Technology (ISOT)

    Read more
  • Image
    PhD Defense / 27 October 2021 / FEMTO-ST - TEMIS BUILDING

    Pascal STARK : Integrated photonic computing

    Read more
  • Image
    PhD Defense / 19 October 2021 / IUT Belfort Montbéliard

    Zhihao CHEN : "Deep learning for automatic detection and quantification of the disease areas of the myocardium from DE-MRI after myocardial infarction"

    Read more
  • Image
    PhD Defense / 08 October 2021 / ENSMM_26 rue de l'Epitaphe

    Antoine ANDRE :Robust visual measurement with large range to resolution ratio of 3D pose of encoded periodic patterns : applications to microrobotics

    Read more
  • Image
    PhD Defense / 28 September 2021 - 08 October 2021 / Salle Transfert 1

    Nguyen-Nhat-Binh TRINH : Asymptotic modeling of a micro-mirror array and software design for automatically derived multiscale models

    Read more
  • Image
    PhD Defense / 28 September 2021 - 06 October 2021 / UTBM - Sévenans

    Rudolf SCHNEE :Towards a Conceptual Framework of Sustainable Business Models for Electromobility

    Read more
  • Image
    Soutenance Thèse / 07 September 2021 - 22 September 2021 / UFR ST - Salles des Actes

    Bruno PEREZ : "Prédiction de l’évolution d’un système complexe dans un contexte non déterministe : architecture basée sur le couplage SMA/RàPC et la clusterisation

    Read more