Agenda des événements

Journée du département D4

Espace conférences Inria

de 9:30 à 17: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

Séminaire crypto du CReC

Petri-Turing

de 9:30 à 17:00

Environnements de Développement Programmables : Réification des Protocoles de Langage en Objets de Première Classe

Pierre JEANJEAN

Grand Amphi

de 14:00 à 17:00

Séminaire Fifty/Fifty : "Quelles pistes pour faire évoluer la place des femmes dans le numérique ?" A. M. Kermarrec

Anne-Marie Kermarrec

Amphithéâtre Inria

de 17:00 à 19:00

Robustesse des automates temporisés: calculer les stratégies les plus permissives

Emily Clément (SUMO)

Amphitheâtre G

de 9:00 à 12:00

Vers des Environnements de Développement Intégrés flexibles

Fabien COULON (DIVERSE)

Salle Petri-Turing

de 14:00 à 17:00

Aide à la décision sur l'évaluation des risques associés à l'exploitation des milieux souterrains

June BENVEGNU-SALLOU (DIVERSE)

Salle Petri-Turing

de 14:30 à 17:30

Developing new techniques for packing detection and unpacking to stop malware propagation

Lamine NOUREDDINE (DiverSE)

Salle Petri-Turing

de 14:00 à 17:00