Events agenda

Contributions à la production de logiciels de qualité

Olivier ZENDRA

Petri-Turing

from 00:09 to 00:12

Compilation Sécurisée contre les Attaques par Canaux Auxiliaires/Secured Compilation against Side-Channel Attacks

Gautier Raimondi

Petri-Turing

from 14:00 to 18:00

Au-delà des Scores de Risque : Authentification Adaptative Tenant Compte du Contexte

Anne BUMILLER

Grand Amphi

from 10:00 to 14:00

Journée du département D4

Espace conférences Inria, Rennes

from 09:00 to 18:00

Contributions aux méthodes formelles pour les systèmes temporisés et probabilistes / Contributions on Formal Methods for Timed and Probabilistic Systems

Ocan SANKUR

Salle Metivier

from 14:00 to 17:00

Tristan Tomala, HEC Paris : Mechanism Design with Restricted Communication

Tristan Tomala HEC Paris

Lipari F202

from 11:00 to 12:00

Deep Software Variability

Luc LESOIL - équipe DIVERSE

Salle Petri-Turing

from 14:00 to 18:00

Workshop World Logic Day 2023 : Vendredi 13 janvier

Guillaume Aucher, Pierre Joray, Nicolas Markey

Belle-Ile F022

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

Journée du département D4

Espace conférences Inria

from 09:30 to 17:00

Titre de la soutenance : Sémantiques Squelettiques pour Calculs de Processus

Guillaume AMBAL

Salle METIVIER

from 14:00 to 18:00

LAMAS & SR : International Workshop on Logical Aspects in Multi-Agent Systems and Strategic Reasoning

Espace conférences Inria

from Aug 25 09:00 to Aug 26 18:00