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

23 novembre 2021

Paris Campus de Jussieu

Ce séminaire est organisé le 23 novembre prochain au LIP6 à Paris par le groupe de travail "Langages et Vérifications de Programmes" (GT LVP) du groupement de recherche "Génie de la programmation et du Logiciel" du CNRS. Il sera également diffusé en direct sur internet. Une série d’exposés présentera des travaux récents de membres du groupe de travail. L'événement est organisé localement par Emmanuel Chailloux et Antoine Miné (Sorbonne Université, LIP6) et à distance par Alain Giorgetti (Université de Franche-Comté, FEMTO-ST) et Julien Signoles (Université Paris-Saclay, CEA List), co-responsables du GT LVP.

Le programme est diffusé sur la page : https://groupes.renater.fr/wiki/lvp/public/2109journee

Contact : Alain Giorgetti

Événements passés

Catégorie

Image

PhD Defense / 17 February 2020 - 22 February 2020 / FEMTO-ST - TEMIS BUILDING

Anthony ALMIRALL "Intégration de couches minces dans les technologies du silicium pour les applications de filtrage RF haute fréquence et ultra large bande LiNbO3"
Lire la suite
Journée Rencontre / 30 January 2020 / Belfort

FEMTO SHARE TECH DAY ENERGIE - 30 janvier 2020 - Belfort
Lire la suite
Image

PhD Defense / 14 January 2020 - 27 January 2020 / FEMTO-ST - TEMIS BUILDING

Rémi MEYER : "Contrôle du dépôt d'énergie par laser femtoseconde dans les diélectriques par faisceaux de Bessel"
Lire la suite
Image

PhD Defense / 20 December 2019 / FEMTO-ST - TEMIS BUILDING

François SCHOTT "Contribution à l’optimisation robuste et fiabiliste Application à la conception de filtres à ondes élastiques radio-fréquence"
Lire la suite
Image

PhD Defense / 19 December 2019 / Amp

Florent Marie :"COLISEUM-3D: Une plate-forme innovante pour la segmentation d'images médicales par Raisonnement à Partir de Cas (RàPC) et méthodes d'apprentissage de type Deep Learning"
Lire la suite
Image

Soutenance HDR / 18 December 2019 / FEMTO-ST - TEMIS BUILDING

Damien BIGOURD : "Sources photoniques à impulsions ultra-courtes à base de cristaux et de fibres non linéaires"
Lire la suite
Image

Soutenance HDR / 16 December 2019 / ENSMM_26 rue de l'Epitaphe

Hector RAMIREZ : "Modélisation et contrôle des processus et systèmes thermodynamiques irréversibles décrits par des équations aux dérivées partielles: une approche port-hamiltonienne"
Lire la suite
Image

Soutenance HDR / 12 December 2019 / ENSMM_26 rue de l'Epitaphe

Pierre-Henri Cornault : "Modifications de surface dans les contacts secs et réponses tribologiques associées"
Lire la suite
Image

PhD Defense / 09 December 2019 / ENSMM_26 rue de l'Epitaphe

Julien Monnet "Optimisation du procédé de microfraisage par électro-érosion de composants en carbure de tungstène et caractérisation des propriétés mécaniques induites"
Lire la suite
Image

PhD Defense / 09 December 2019 / FEMTO-ST - TEMIS BUILDING

Arthur Hugeat : "Optimisation de chaînes de traitement de signaux numériques radiofréquences et application à une cascade de filtres"
Lire la suite