• 2015-01-22  Séminaire Expander CNFs have Exponential DNNF Size

    **Stefan Mengel **
  • 2015-01-05  Invité(s) Invité du CRIL : Professeur Ramón Pino Pérez

    Ramón Pino Pérez, professeur à l’université De Los Andes, invité du CRIL pour 6 mois (Jan à Juin - 2015)
  • 2014-12-04  Séminaire Coalitional games for abstract argumentation

    Elize Bonzon (LIPADE, Université Paris Decartes)
  • 2014-11-27  Séminaire Application du problème SAT aux fonctions de hachages cryptographiques

    Florian Legendre (CRIL, Université d’Artois)
  • 2014-11-20  Séminaire 

    Srdjan Vesic (CRIL CNRS)
  • 0000-12-31  Séminaire 

    Soutenance HDR - Tiago de Lima