Events agenda

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

Espace conférences Inria

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

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

Abdul Majith NOORDHEEN (SUMO)

Petri-Turing

from 13:30 to 16:30

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

Vannes

from Jun 07 09:00 to Jun 10 14:00

Séminaire crypto du CReC

Petri-Turing

from 09:30 to 17:00

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

Pierre JEANJEAN

Grand Amphi

from 14:00 to 17:00

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

Emily Clément (SUMO)

Amphitheâtre G

from 09:00 to 12:00

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

Fabien COULON (DIVERSE)

Salle Petri-Turing

from 14:00 to 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

from 14:30 to 17:30

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

Lamine NOUREDDINE (DiverSE)

Salle Petri-Turing

from 14:00 to 17:00

Simplifier la création, la maintenance et l'évolution des APIs REST

Antoine CHERON (DiverSE)

Salle Aurigny

from 10:00 to 13:00

Assistance à la spécification de contraintes OCL dans les métamodèles

Elyes CHERFA (DIVERSE)

Amphithéâtre 103 Bâtiment DSEG à Vannes

from 14:00 to 18:00

Machine learning for performance modelling on colossal software configuration spaces

Hugo MARTIN (DIVERSE)

Salle Métivier

from 10:00 to 13:00