Aller au contenu principal
Contenu
|
Navigation
|
Laboratoire d'Informatique de Grenoble
Suivez-nous
fr
en
Accueil
Actualité
Présentation
Direction et responsables
Equipes support
Commissions
Organigramme
Toute l'actualité
Animation scientifique
Travailler au LIG
Se rendre au LIG
La recherche
Axes de recherche
Equipes de recherche
Soutien à la recherche
Plateformes
Partenariats de R & D
Produits de la recherche
Publications
Thèses et HDR
Travaux scientifiques
Annuaire du LIG
Support et soutien à la recherche
Equipes de recherche
Chargés de mission
Intranet
fr
en
Rechercher
Formulaire de recherche
Rechercher
Accueil
Présentation
La recherche
Produits de la recherche
Annuaire du LIG
Intranet
Vous êtes ici
Accueil
SéMINAIRE CONVECS - LINA MARSSO
Actualités
Séminaire
Séminaire CONVECS - Lina MARSSO
le 9 mai 2023
à 11h
Early Verification of Legal Compliance via Bounded Satisfiability Checking
Localisation
Inria Montbonnot - salle F108
Mis à jour le 9 mai 2023
Dans la même rubrique
Accueil
Actualité
�