Agenda des événements

Journée du département D4

Espace conférences Inria, Rennes

de 9: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 9: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 Aug 9:00 au 26 Aug 18:00

AIML - Advances in Modal Logic 2022 Rennes, August 22-25

Espace conférences Inria

du 22 Aug 9:00 au 25 Aug 18:00

Vérification et synthèse automatisées de systèmes distribués: Application aux SDN

Abdul Majith NOORDHEEN (SUMO)

Petri-Turing

de 13:30 à 16:30

Journées nationales du GDR GPL - Génie de la Programmation et du Logiciel - 2022

Vannes

du 07 Jun 9:00 au 10 Jun 14:00