Agenda des événements

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

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

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

Les jeux de congestion dans les réseaux sous l’angle de la vérification

Suman SADHUKHAN (SUMO)

Métivier

de 10:00 à 13:00