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

  • Image
    PhD Defense / 31 March 2021 / IUT Belfort Montbéliard

    Mahsa Sadat SAFAVI : "Investigation of thermoelectric properties of magnesium-based metal alloys coatings deposited by sputtering process"

    Read more
  • Image
    PhD Defense / 31 March 2021 / Belfort

    Emna LAAJILI : "Modeling and algorithms for cyclic sizing of surface treatment workshops

    Read more
  • Image
    PhD Defense / 25 March 2021 / FEMTO-ST - TEMIS BUILDING

    Florent BEHAGUE : "Developpement of an integrated electro-photonic plateform : application to electric field sensing"

    Read more
  • Image
    PhD Defense / 23 March 2021 / Remotely

    Elodie BERNARD : "Agile Model-Based Testing Approach for Functional Testing of Enterprise IS

    Read more
  • Image
    PhD Defense / 18 March 2021 / FEMTO-ST - TEMIS BUILDING

    Margaux TOPENOT : "Design and dynamic strength of electric rotor parts under PWM dynamic excitations""

    Read more
  • Image
    PhD Defense / 18 March 2021 / Salle Transfert 1

    Cédric BONNARDOT : "Contributions to the improvement of a mechanical characterization test of ultra-thin sheets by incremental microforming"

    Read more
  • Image
    PhD Defense / 17 March 2021 / FEMTO-ST - TEMIS BUILDING

    Louis ANDREOLI : "Spatial recurrent neural networks: from electro-optical towards all-optical"

    Read more
  • Image
    PhD Defense / 15 March 2021 / UFR Sciences et Techniques

    Aymeric CRETIN : " Design and generation of data corruption tests for control and monitoring systems transport. Application to the air and maritime fields.

    Read more
  • Image
    PhD Defense / 09 February 2021 / FEMTO-ST - TEMIS BUILDING

    Ayman HOBLOS : "Electro-Optical Photonic Crystal Devices for Modulation and Detection of Weak Electric Fields"

    Read more
  • Image
    PhD Defense / 04 February 2021 / IUT Belfort - Amphi 3 Bâtiment D

    Anthony NASSAR : "Optimization of the use of resources in distributed computing systems for automotive applications"

    Read more