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"}}]]

Événements passés

Catégorie

Conférence / 06 April 2022 - 08 April 2022 / Centre Diocésain - Espace Grammont

Méthodes arithmétiques et géométriques en théorie des nombres
Lire la suite
Image

PhD Defense / 05 April 2022 / IUT Belfort - Amphi I102 - Bâtiment I

Théodor AL SAIFY : "Mise en œuvre d’approches adaptatives et temps réel pour systèmes autonomes destinés à l’application de l’industrie 4.0 chez FAURECIA CLEAN MOBILITY"
Lire la suite
Image

PhD Defense / 21 March 2022 - 01 April 2022 / FEMTO-ST - TEMIS BUILDING

Vladimir SEMENOV : "Modulateurs spatiaux de lumière tout-optique destinés à la conception [...]"
Lire la suite
Journées techniques / 03 February 2022 / ENSMM Bâtiment Transfert 26 Rue de l’Épitaphe Besançon

Journée Métrologie Avancée
Lire la suite
Conférence / 20 January 2022 / FEMTO-ST - TEMIS BUILDING - Amphi JJ Gagnepain

Fake news et l'infodémie : Comprendre pour lutter contre les infox
Lire la suite
Image

Soutenance Thèse / 18 January 2022 / FEMTO-ST - TEMIS BUILDING

Anne-Laure PONTEL : "Mise en œuvre des procédés potentiels d’évacuation des charges pyroélectriques sur niobate de lithium coupe Z"
Lire la suite
Image

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

Hugo DAGUERRE : "Estimation de position basée sur l’impédance électrique pour la microrobotique mobile"
Lire la suite
Image

PhD Defense / 17 December 2021 / FEMTO-ST - TEMIS BUILDING

Nadezhda SEMENOVA :"Aspects généraux du bruit dans les réseaux de neurones profonds sur une architecture matérielle analogique"
Lire la suite
Image

PhD Defense / 16 December 2021 / UFR Sciences et Techniques - Amphithéâtre B

Henri De Boutray : " Études calculatoires de l'intrication et de la contextualité quantiques dans la perspective de leur vérification formelle"
Lire la suite
Image

PhD Defense / 16 December 2021 / Département des Sciences et Energies Louis Néel

Johny MATAR : "Optimisation des techniques d’apprentissage automatique pour le clustering génomique"
Lire la suite