Centre de Recherche en Informatique de Lens

Partenaires

Menu

• Présentation
  • Organigramme
• Axes de recherche
  • Algorithmes pour l’inférence et contraintes
  • Représentation des connaissances et raisonnements
• Thèses et HDR
  • Sujets de thèse proposés
  • Thèses en cours
  • Thèses soutenues
  • HDR soutenues
• Publications
• Prix et récompenses
• Logiciels
  • Prouveurs CSP
  • Prouveurs QBF
  • Générateurs de plans (planificateurs)
  • Sites web
  • Prouveurs SAT
  • Autres
  • PRISM
• Séminaires
  • Séminaires à venir
  • Les anciens séminaires
• Master Recherche
  • Présentation détaillée
  • Emploi du temps
  • Inscriptions
• Recrutements
• Annuaire
• Venir au CRIL