Agenda des événements

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

Espace conférences Inria

du 22 aoû 09:00 au 25 aoû 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 juin 09:00 au 10 juin 14:00

Séminaire crypto du CReC

Petri-Turing

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

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

Emily Clément (SUMO)

Amphitheâtre G

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

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

Antoine CHERON (DiverSE)

Salle Aurigny

de 10:00 à 13:00

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

Elyes CHERFA (DIVERSE)

Amphithéâtre 103 Bâtiment DSEG à Vannes

de 14:00 à 18:00

Machine learning for performance modelling on colossal software configuration spaces

Hugo MARTIN (DIVERSE)

Salle Métivier

de 10:00 à 13:00