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 / 18 January 2021 / ENSMM_26 rue de l'Epitaphe

Abbas HOMAYOUNI AMLASHI : " Optimisation topologique des récupérateurs d'énergie piézoélectrique multidirectionnels dédiés aux dispositifs de suivi des oiseaux"
Lire la suite
Image

PhD Defense / 14 January 2021 / FEMTO-ST - TEMIS BUILDING

Bhawnath Tiwari : "Instrumentation multi-axes pour micro-assemblage robotisé"
Lire la suite
Image

PhD Defense / 13 January 2021 / ENSMM_26 rue de l'Epitaphe

Fawzia AMOKRANE : " Contribution à l'observation robuste des systèmes dynamiques incertains - Application à la métrologie des faibles forces"
Lire la suite
Image

PhD Defense / 11 January 2021 / ENSMM_26 rue de l'Epitaphe

Benjamin MAUZE : "Triskèle-Bot - Étude et développement d'un robot parallèle continu pour le micro-positionnement"
Lire la suite
Image

PhD Defense / 18 December 2020 / Amphi RT2 Département Réseaux et Télécom Montbéliard

Florian PESCHER : "Algorithmes génériques pour le design interactif d’objets à l’aide de matière programmable"
Lire la suite
Image

PhD Defense / 18 December 2020 / FEMTO-ST - TEMIS BUILDING

Benoit MOREL : "Modélisation et simulation de l'ionisation des diélectriques par impulsions femtosecondes"
Lire la suite
Image

Soutenance Thèse / 17 December 2020 / ENSMM_26 rue de l'Epitaphe

Luis MORA : "Modélisation port-Hamiltonienne de l'interaction fluide-structure dans un domaine longitudinal"
Lire la suite
Image

PhD Defense / 17 December 2020 / Département des Sciences et Energies Louis Néel

Abdelakder Haidar DETTI : "Modèle de vieillissement d'un système pile à combustible"
Lire la suite
Image

PhD Defense / 16 December 2020 / FEMTO-ST - TEMIS BUILDING

Toky RABENIMANANA : "Modélisation, fabrication et caractérisation expérimentale de réseaux MEMS faiblement couplés pour la détection de masse"
Lire la suite
Image

PhD Defense / 15 December 2020 / ENSMM_26 rue de l'Epitaphe

Ning LIU : "Modélisation Hamiltonienne à ports et commande distribuée de structures flexibles : application aux endoscopes biomédicaux à actionneurs à base de polymère électro-actif"
Lire la suite