Recherche

C’est à l’occasion du Forum Innovation Défense (porte de Versailles) que le LaBRI, en collaboration avec Thales DMS, présentera son travail sur le
Responsable d'équipe : Romain Bourqui (adj. Patricia Thébault) L’équipe Bench To Knowledge and Beyond (BKB) mène des recherches théoriques et
La chaire Mobilité et Transports Intelligents organise la journée « (Cyber) sécurité et sureté des mobilités connectées » - mardi 10 mai à 11h
Emile Barjou soutiendra sa thèse intitulée : « Tomographie de haute résolution par contraste de phase».
Le LaBRI a de nombreux projets collaboratifs structurants dont certains d’entre eux couvrent plusieurs thématiques scientifiques (c’est le cas
L’ANSSI (Agence nationale de la sécurité des systèmes d'information) vient de certifier un troisième outil sécurisé de type Dropbox. Parsec, la

** Reactive synthesis over infinite data domains. ** This talk presents reactive synthesis problems over infinite data domains. The goal of reactive

/Exposé /Talk/ Let G be a bridgeless cubic graph. Recently, in collaboration with Edita Máčajová and Jean Paul Zerafa, we have solved a conjecture

Responsable de département : Pierre Ramet Le département SATANAS contribue à la conception et au développement d'outils de simulation robustes et
Les assistants de preuve sont particulièrement utiles dans la vérification de composants matériels ou logiciels, et ce pour des propriétés