Pôle Algorithmes et structures discrètes
Pôle Automates, structures et vérification
Pôle Preuves, programmes et systèmes
Équipe thématique Algorithmes et complexité
Équipe thématique Algèbre et calcul
Équipe thématique Automates et applications
Équipe thématique Combinatoire
Équipe thématique Modélisation et vérification
Équipe-projet Inria Picube (Inria)
Équipe thématique Preuves et programmes
Équipe thématique Théorie et algorithmique des graphes
Le jeudi à 16h, salle 3052
Le calendrier des séances (format iCal).
Pour ajouter le calendrier des séances à votre agenda favori, souscrire au calendrier en indiquant ce lien.
Bienvenue à une nouvelle série de séminaires hebdomadaires pour les membres non permanents, le jeudi à 16 heures, salle 3052. Il s'agit d'une excellente occasion pour tous les membres non permanents, y compris les postdocs, les ATER, les doctorants et les stagiaires, de se rencontrer, de partager leurs intérêts de recherche et de créer une atmosphère scientifique accueillante.
Prochaines présentations
Toutes les présentations sont ouvertes à tous, quel que soit le niveau d'expérience. Nous encourageons les débutants à y assister et à apprendre de nos collègues plus expérimentés.
Rafraîchissements
Pour rendre le séminaire encore plus agréable, nous aurons le gâteau de l'IRIF juste après le séminaire !
Nous nous réjouissons de vous y voir !
Forum de questions-réponses
Si vous souhaitez poser ou répondre à une question d'informatique lors du séminaire, vous pouvez utiliser ce lien.