Agenda des événements

Séminaire - 31 May 2023 - 11:00

Séminaire
May 31	11:00
2023

Tristan Tomala, HEC Paris : Mechanism Design with Restricted Communication

Tristan Tomala HEC Paris

Lipari F202

de 11:00 à 12:00

Thèse - 17 Apr 2023 - 14:00

Thèse
Apr 17	14:00
2023

Deep Software Variability

Luc LESOIL - équipe DIVERSE

Salle Petri-Turing

de 14:00 à 18:00

Workshop - 13 Jan 2023 - 9:00

Workshop
Jan 13	9:00
2023

Workshop World Logic Day 2023 : Vendredi 13 janvier

Guillaume Aucher, Pierre Joray, Nicolas Markey

Belle-Ile F022

Thèse - 19 Dec 2022 - 14:00

Thèse
Dec 19	14:00
2022

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

Séminaire - 20 Oct 2022 - 9:30

Séminaire
Oct 20	9:30
2022

Journée du département D4

Espace conférences Inria

de 9:30 à 17:00

Thèse - 19 Oct 2022 - 14:00

Thèse
Oct 19	14:00
2022

Titre de la soutenance : Sémantiques Squelettiques pour Calculs de Processus

Guillaume AMBAL

Salle METIVIER

de 14:00 à 18:00

Workshop - 25 Aug 2022 - 9:00

Workshop
Aug 25	9:00
2022

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

Conférence - 22 Aug 2022 - 9:00

Conférence
Aug 22	9:00
2022

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

Espace conférences Inria

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

Thèse - 07 Jun 2022 - 13:30

Thèse
Jun 07	13:30
2022

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

Séminaire - 07 Jun 2022 - 9:00

Séminaire
Jun 07	9:00
2022

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 - 02 Jun 2022 - 9:30

Séminaire
Jun 02	9:30
2022

Séminaire crypto du CReC

Petri-Turing

de 9:30 à 17:00

Thèse - 29 Apr 2022 - 14:00

Thèse
Apr 29	14:00
2022

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