Agenda des événements

Séminaire - 19 Jan 2023 - 9:00

Séminaire
Jan 19	9:00
2023

Séminaire Axe transverse "Arts culture et patrimoine" : jeudi 19 janvier 2023

Amphi

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 - 13 Dec 2022 - 8:15

Séminaire
Dec 13	8:15
2022

Que faire avec un doctorat en Informatique ?

Metivier, et Viosoconférence

de 8:15 à 16:30

Conférence - 18 Nov 2022 - 9:00

Conférence
Nov 18	9:00
2022

Femmes & numérique : Ensemble, cassons les codes - Séminaire de formation

Espace conférences Inria

de 9:00 à 18: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