Actualités

2017-12-12 Nouvelle Soutenance de thèse de Nicolas Szczepanski - SAT en Parallèle
Le 12 décembre 2017, à 10h, salle des thèses de la faculté Jean Perrin
2017-12-12 Nouvelle Soutenance de thèse de Jérôme Delobelle - Sémantique à base de Classement pour l’Argumentation Abstraite
Le 12 décembre 2017, à 14h30, salle des thèses de la faculté Jean Perrin
2017-12-08 Nouvelle Soutenance de thèse de Amélie Levray - Théorie des possibilités à intervalles : Conditionnement et transformations probabilités/possibilités
Le 8 décembre 2017, à 14h, salle des thèses de la faculté Jean Perrin
2017-11-30 Séminaire Acceptability semantics for weighted argumentation frameworks (IJCAI 2017)
Srdjan Vesic (CRIL, CNRS - Université d’Artois)
14:00 • IUT de Lens, amphithéâtre MMI
2017-11-16 Séminaire Strong consistencies for efficient solving
Anastasia Paparrizou (CRIL, CNRS - Université d’Artois)
14:00 • IUT de Lens, amphithéâtre MMI
2017-11-14 Séminaire
Hubie Chen (Birkbeck, University of London)
14:00 • Faculté des Sciences Jean Perrin, salle de thèses
2017-10-19 Séminaire Solving Multiobjective Discrete Optimization Problems with Propositional Minimal Model Generation (CP 2017)
Takehide Soh (Kobe University, Japan)
15:00 • Faculté des Sciences Jean Perrin, salle de thèses
2017-10-12 Séminaire A lower bound on CNF encodings of the at-most-one constraint
Petr Kučera (Charles University, Czech Republic)
15:00 • IUT de Lens, amphithéâtre MMI
2017-10-05 Séminaire A Connection Calculus for the Description Logic ALC
Fred Freitas (Federal University of Pernambuco, Cin/UFPE, Brazil)
15:00 • IUT de Lens, amphithéâtre MMI
2017-09-21 Séminaire Constraint-Based Symmetry Detection in General Game Playing (IJCAI 2017)
Sébastien Tabary (CRIL, Université d’Artois - CNRS)
15:00 • IUT de Lens, amphithéâtre MMI
2017-09-14 Séminaire RECAR: Recursive Explore and Check Abstraction Refinement (IJCAI 2017)
Valentin Montmirail (CRIL, Université d’Artois - CNRS)
15:00 • IUT de Lens, salle SP
2017-07-11 Séminaire Belief Change in a Preferential Non-monotonic Framework
Tommie Meyer (CAIR, South Africa)
15:00 • Faculté Jean Perrin, amphi S19
2017-07-06 Nouvelle Prix de thèse AFIA pour Eric Piette
Eric Piette a obtenu le prix de thèse (exr-aequo) de l'Association Française pour l'Intelligence Artificielle pour sa thèse intitulée "Une nouvelle approche au General Game Playing dirigée par les contraintes".
2017-05-19 Séminaire Constraint Games
Arnaud Lallouet
14:00 • IUT de Lens, amphi MMI
2017-05-18 Séminaire Developing a parallel CP (or SAT) solver through the exploitation of strong propagation methods.
Kostas Stergiou (University of Western Macedonia)
14:00 • IUT de Lens, amphi SP
2017-05-17 Nouvelle Papiers acceptés à IJCAI'17
8 papiers ont été acceptés à la conférence IJCAI (Melbourne, 2017)