Agenda des événements

Designing a temporal graph management system for IoT application domains

Maria MASSRI (DRUID)

Petri Turing

de 14:00 à 17:00

Formal Verification of Just-in-Time Compilation

Aurèle BARRIERE (EPICURE)

PETRI-TURING

de 15:00 à 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

de 14:00 à 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

de 14:00 à 18:00

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

Camille GUERRY (INTUIDOC)

Salle METIVIER - 14h00

de 14:00 à 18:00

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

Téo LEMANE (GENSCALE)

Markov

de 14:00 à 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

de 11:00 à 12:00

Data-driven Vehicle Relocation in Free Floating Carsharing Services

Gregory Martin (Lacodam)

Métivier

de 13:30 à 16:00

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

Clara DELAHAYE (GENSCALE)

Markov Petri Turing

de 13:30 à 18:00

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

Anne Friedrich (Université de Strasbourg)

Aurigny

de 10:30 à 12:00

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

Espace conférences Inria

du 15 déc 08:45 au 16 déc 17:30

Cryptography in the Wild: The Security of Cryptographic Implementations

Daniel De Almeida Braga (SPICY)

Métivier

de 14:00 à 18:00