Agenda des événements

Contributions à la production de logiciels de qualité

Olivier ZENDRA

Petri-Turing

de 00:09 à 00:12

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

Gautier Raimondi

Petri-Turing

de 14:00 à 18:00

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

Anne BUMILLER

Grand Amphi

de 10:00 à 14:00

Journée du département D4

Espace conférences Inria, Rennes

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

de 14:00 à 17:00

Tristan Tomala, HEC Paris : Mechanism Design with Restricted Communication

Tristan Tomala HEC Paris

Lipari F202

de 11:00 à 12:00

Deep Software Variability

Luc LESOIL - équipe DIVERSE

Salle Petri-Turing

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

de 14:00 à 17:00

Journée du département D4

Espace conférences Inria

de 09:30 à 17:00

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

Guillaume AMBAL

Salle METIVIER

de 14:00 à 18:00

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

Espace conférences Inria

du 25 aoû 09:00 au 26 aoû 18:00