Aller au contenu principal
Se connecter
L
aboratoire d'
I
nfo
R
matique en
I
mage et
S
ystèmes d'information
UMR 5205 CNRS / INSA Lyon / Université Claude Bernard Lyon 1 / Université Lumière Lyon 2 / École Centrale de Lyon
Accueil
Actualités
Tous les événements
Toutes les actualités
Présentation
Le LIRIS
Organigramme du LIRIS
Personnels
Effectifs du LIRIS
Rapport d'activité
Contacts LIRIS
Venir au LIRIS
Recherche
Pôles du LIRIS
Équipes du LIRIS
Plateformes
Logiciels (dans HAL)
Jeux de données
Thèses du LIRIS
Thèses soutenues
Thèses en cours
HDR du LIRIS
Projets
Publications
Toutes les publications (HAL)
Collaborations internationales
Faits marquants
Formation
Implication du LIRIS dans les formations
Médiation scientifique
École doctorale
Cafés développeur
Emplois
Offres de stage
Anciennes offres de stage
Offres d'emploi
Anciennes offres d'emploi
Accueil
Vers des preuves de théorèmes de coloration de graphes automatiques
Titre :
Vers des preuves de théorèmes de coloration de graphes automatiques
Type d'emploi proposé :
Stage recherche / PFE R&D
Date d'affichage sur le site :
Vendredi, 19 septembre, 2025
-
Samedi, 31 janvier, 2026
Document associé :
booklet_jga.pdf
Rechercher
