Events agenda

Designing a temporal graph management system for IoT application domains

Maria MASSRI (DRUID)

Petri Turing

from 14:00 to 17:00

Formal Verification of Just-in-Time Compilation

Aurèle BARRIERE (EPICURE)

PETRI-TURING

from 15:00 to 18:00

Classification de Logiciels Malveillants Dirigée par les Données et Assistée par des Méthodes d’Apprentissage Automatique

Cassius DE OLIVEIRA PUODZIUS (DIVERSE)

Grand Amphi

from 14:00 to 17:00

Caractérisation en modules fonctionnels des protéines ADAMTS-TSL, par approches de phylogénies Characterization in functional modules of ADAMTS-TSL proteins, by phylogeny approaches

Olivier Dennler (DYLISS)

Métivier

from 14:00 to 18:00

Big-data historique : modélisation de stratégies d’analyse de collections de documents.

Camille GUERRY (INTUIDOC)

Salle METIVIER - 14h00

from 14:00 to 18:00

[GENSCALE] Soutenance de thèse de Téo LEMANE - Vendredi 16 décembre - 14h00 - Salle MARKOV

Téo LEMANE (GENSCALE)

Markov

from 14:00 to 18:00

Séminaire SoSySec : Not so AdHoc testing: formal methods in the standardization of the EDHOC protocol

Charlie JACOMME (INRIA Paris)

Salle Métivier

from 11:00 to 12:00

Data-driven Vehicle Relocation in Free Floating Carsharing Services

Gregory Martin (Lacodam)

Métivier

from 13:30 to 16:00

Phasage d’haplotypes par ASP à partir de longues lectures : une approche d’optimisation flexible.

Clara DELAHAYE (GENSCALE)

Markov Petri Turing

from 13:30 to 18:00

Genomes assembly and phasing: towards a better view of the evolutionary history of yeast

Anne Friedrich (Université de Strasbourg)

Aurigny

from 10:30 to 12:00

Ateliers thématiques 2022 "Acquisition multimodale et analyse des données"

Espace conférences Inria

from Dec 15 08:45 to Dec 16 17:30

Des données homogènes aux données hétérogènes en biologie des systèmes

Emmanuelle BECKER

MARKOV PETRI TURING

from 14:00 to 18:00