Not updated since 2006
My research interests
- Knowledge representation and reasoning
- Resolution of NP-Hard problems
- Propositional logic : models and algorithms
- Satifiability problem (SAT)
- Quantified Boolean Formulas (QBF)
- (Quantified) Constraint Satifaction Problems -(Q) CSP
- Temporal reasoning
- Planning
Current PhD students
Past PhD students
- Said Jabbour, defended
in december 2008, " De la satisfiabilité propositionnelle aux formules booléeennes quantifi\'ees". Postdoc research position at the joint INRIA-Microsoft Research Centre, Orsay Paris, since septembre 2009
- Julien Vion, defended
in november 2007, " Contributions à la résolution générique des problèmes de satisfaction de contraintes". Associate professor
at Université de Valenciennes " since september 2009
- Sébastien Tabary, defended
in december 2007, " Exploiter les conflits pour réduire l'effort de recherche en satisfaction de contraintes ". Associate professor
at IUT de Lens "Université d'Artois"
- Olivier Fourdrinoy, defended
in november 2007, " Utilisation de techniques polynomiales pour la résolution pratique de SA". Ingineer in computer Science, SSII Lille, since septembre 2008
- Richard Ostrowski, defended
in december 15th, 2004, "Reconnaissance et exploitation de propriétés
structurelles pour la résolution du probleme SAT". Associate professor
at LSIS "Université de Provence"
- Laure Brisoux,
defended in december 2, 2003, "Satifiabilité propositionnelle en
informatique aspects algorithmiques et extensions du formalisme".
Associate professor at LaRia, "Université Jules Verne Picardie"
- Bertrand Mazure,
defended in january 18th, 1999, "De la Satisfaisabilité a la Compilation
de Bases de Connaissances Propositionnelles", Associate professor
at CRIL, Université d'Artois
Master students(dea)
- Dominique D’ALMEIDA, january -july 2006, "Résolution de CSP qualitatifs
par
l’utilisation de CSP discrets et SAT"
- Vincent KRAWCSYK, january -july 2006, "Problemes de satisfaction
de contraintes
n-aires"
- Gabriel WESTRELIN, january - july 2005, "Symétries et contraintes"
- Said JABOUR, january -july 2005, "Résolution de formules booléennes
quantifiées"
- Sébastien TABARRY, january - july 2005, "Programmation par contraintes
et planification temporelle optimale"
- Julien BERTELOO, february - july 2004, "Autour de l’intégration
des techniques de
maintien de cohérence dans les algorithmes de résolution de CSP"
- Olivier FOURDRINOY, february - july 2003, "Hybridation des méthodes
de résolution
pour le probleme SAT"
- Christophe VALMIR, february - july 2003, "Autour de l’extension
de la voisinage substituabilité"
- Nabila SI BACHIR, february - july 2002, "Abstraction et résolution
de problemes d’optimisation sous contraintes"
- Mohammed DJADANE,february - july 2002, "Problemes de satisfaction
de contraintes : backtracking intelligents, randomization et restart"
- Richard OSTROWSKI, february - july2001, "Formules booléennes
générales : représentation, abstraction et décompositions"
- Laure BRISOUX, 1995-1996, "De la logique des propositions au
premier ordre fini"
- Bertrand MAZURE, année 1994-1995, "Expérimentations, analyse
et amélioration des méthodes de résolution du probleme SAT"
Referee of the following Ph.D. theses and habilitations
- MA Jixuan,These de l’université Valenciennes et du Hainaut-Cambrésis,
"Traitements des Conflits dans les CSP Distribués : une approche
multi-agent avec facteurs d'influence". octobre 2006.
- Etienne CANAUD, These de l’université Claude Bernard Lyon I (rapporteur),
"Description hybrides et découvertes de services web sémantiques",
december 2, 2005
- Frédéric LARDEUX, These de l’Université d’Angers (rapporteur), "Approches
Hybrides pour les problemes de Satisfiabilité (SAT et MAX-SAT)"
, november 25th 2005
- Mihaela BUTARU, These de l’Université de Metz (rapporteur), "Problemes
de
satisfaction de contraintes n-aires : résolution séquentielle et parallele",
december 9, 2005
- Lamia KEDDAR, These de l’Université de Provence, Marseille, "Sur
des généralisations des graphes triangulés : application aux problemes de
satisfaction de contraintes", october 24th 2003
- DavidMARTINEZ, These de l’École Nationale Supérieure de l’Aéronautique
de Toulouse, "Résolution interactive de problemes de satisfaction
de contraintes", december 98
Member of the following Ph.D. theses and habilitations
- Olivier BAILLEUX, Habilitation a diriger des recherches, Université de
Bourgogne,
Dijon, "Contribution a létude et a la résolution de problemes a
variables booléennes", january first 2005
- Laurent HENOCQUE, Habilitation a diriger des recherches, Université de
Provence,
Marseille, "Configuration et problemes d’IA" , july 2,
2004
- Florian LETOMBE, These de l’Université d’Artois, "De la validité
des formules
booléennes quantifiées : étude de complexité et exploitation de classes
traitables au
sein d’un prouveur QBF" , december 13th 2005
- Nadege PORQUET, These de l’Université d’Artois, "Contribution
a l’étude de
relations d’inférence paraconsistante sous ressources limitées",
december 12th 2005
- Olivier COUTURIER, These de l’Université d’Artois, "Contribution
a la fouille
de données : regles d’association et interactivité au sein d’un processus
d’extraction
de connaissances dans les données", december 12th 2005
- David ANSARD, These de l’Université d’Artois, "Utilisation et
extensions de
l’algorithmique pour SAT pour la résolution de différents problemes d’intelligence
artificielle", february 4th 2005
- Richard OSTROWSKI, These de l’Université d’Artois," Reconnaissance
et exploitation de propriétés structurelles pour la résolution du probleme
SAT", december 15th 2004
- Ghania EL BAIDA, These de l’Université d’Artois,"Gestion des
Incohérences
dans les Systemes de Contrôle d’Acces", december 13th 2004
- Bernard JURKOWIAK, These de l’Université Jules Vernes, Picardie, "Programmation
haute performance pour la résolution des problemes SAT et CSP",
october 4th, 2004
- Gilles AUDEMARD, These de l’Université d’Aix-Marseille I," Résolution
du probleme SAT et génération des modeles finis pour des théories de la
logique du premier ordre", october 2001
- Bertrand MAZURE, These de l’Université d’Artois,"De la satisfaisabilté
a la compilation de bases de connaissances propositionnelles",
january 99
- Laure BRISOUX, These de l’Université d’Artois, "Satisfaisabilité
propositionnelle en informatique : aspects algorithmiques et extensions
du Formalisme", december 99
- ANBULAGAN, These de l’Université de Technologie de Compiegne,"Hypothese
de contrainte : une explication de la réussite de l’heuristique UP dans
la résolution des problemes de satisfiabilité des expressions booléennes",
june 1998
Committees
- member of the program commitee of the First international symmetry conference
2007, Edinbourg , january 2007
- member of the program commitee of the First Workshop on the integration
of SAT
and CP techniques, International Conference on Constraint Programming, CP’06,
Nantes, France, 2006
- president of the organizing commitee of the Journées Francophones de
Programmation
par Contraintes JFPC’05, Lens 8-10 Juin 2005
- member of the program commitee of the International Conference on Theory
and Applications of Satisfiability Testing SAT’05
- member of the program commitee of the IEEE International Conference on
Information
Reuse and Integration IRI’2004, IRI’05, IRI’06
- member of the program commitee of the Colloque algorithmique, Optimisation
combinatoire et Systemes d’Information COSI’05, COSI’06
- member of the program commitee of the 5eme Journées Nationales sur la
résolution
Pratique des problemes NP-Complets, JNPC’99, Lyon, 1999
- program chair and member of the 4eme Journées nationales sur la résolution
pratique des problemes NP-Complets, JNPC’98, Ecole
des Mines de Nantes, 27-29 Mai 1998
- member of the program commitee of the 3eme Journées Nationales sur la
résolution Pratique des problemes NP-Complets JNPC’97, Rennes, 1997
- Co-organizer and member of the program commitee of the Workshop
on advances in propositional deduction ECAI’96, Budapest, 1996
- member of the program commitee of the 2nd Rencontre des Jeunes Chercheurs
en IA RJCIA’ 94, Marseille, 1994
Papers review
- International symmetry conference, 2007
- European Journal on Operation Research, 2006
- Revue Techniques des Sciences Informatique, 2006
- Studia Logica, 2005
- European Journal on Operation Research, 2004
- International conference on theory and applications of SATisfiability
testing, SAT’04
- International Conference on Tools with Artificial Intelligence ICTAI’2004
- International IEEE International Conference on Information Reuse and
Integration
IRI’2004,IRI’2005, IRI'2006
- International Joint Conference on Artificial Intelligence IJCAI 1997,
1999, 2003 et
2005, 2006
- International Conference on Constraint Programming CP 1997, 2004
- European Conference on Artificial Intelligence ECAI 1998, 2004
- International Symposium on Theoritical Aspects of Computer Science STACS
1999
et 2000
- Congres Reconnaissance des Formes et Intelligence Artificielle RFIA 1996,
2004
- Journées Nationales sur la résolution Pratique de problemes NP-Complets
JNPC
1997 a 1999
- Conférence Nationale des Jeunes Chercheurs en Intelligence Artificielle
RJCIA 1994
- Revue d’Intelligence Artificielle RIA 1998.
Sessions chairs
- Morning session "SAT modulo theory", international CP workshop
on the integration of SAT and CP techniques, Nantes 2006
- Session "QSAT and QCSP", Journées Froncophones de programmation
par conraintes, JFPC'2006, Nimes
- Session conférencier invité “Fouille de données et contraintes : ”, JFPC’05
- Session “Décomposition de réseaux de contraintes”, JFPC’05
- Session conférencier invité “Base de données", COSI’05
- Session “contraintes et optimisation”, RFIA’04
- Session “SAT", JNPC’02
Research projects
- Action Franco-Portugaise, Algorithmique pour le calcul des noyaux minimalement
inconsistant, depuis janvier 2005
- AS STIC Algorithmique et problématique expérimentale pour l’évaluation
de formules
booléennes quantifiées
- Co-responsable du projet Math-STIC CNRS Méthodes hétérogenes d’optimisation
pour la résolution de problemes industriels, septembre 2002 -septembre 2004
- Action Franco-Portugaise, Mise en place d’une plate-forme logicielle
pour la résolution
du probleme SAT, septembre 2002-septembre 2004.
- Action Franco-Portugaise,Résolution de formules pseudo-booléennes, décembre
2004-
décembre 2005
- TACT (a présent TAC) Techniques Avancées pour la Communication (et le
Transport),
inscrit au sein du CPER Nord/PasdeCalais, période 0007
- Co-responsable du projet Cocoa, Connaissances Contraintes et Apprentissage
- Projet IRCICA, Composants intelligents de connaissances
- Projet du PRC-IA Booléens : Algorithmes et Heuristiques pour L’Intelligence
Artificielle
(BAHIA), période 92-94.
- Projet du PRC-IA Classes polynomiales, période 92-94.
- Groupe de Travail du PRC-IA Aspects algorithmiques de la résolution de
problemes
exprimés a l’aide de contraintes (RESSAC), période 95-96.
- Projets de recherche Ganymede et Ganymede II, Contrat de plan état/ Région
Nord-
Pas de Calais sur le theme : Communication Avancée et Activités Coopératives
période
95-00
Research association
- Membre fondateur de l’Association Scientifique Algérienne sur les systemes
d’information
et l’aide a la décision, depuis juin 2005
- Membre du conseil d’administration de l’association Française de Programmation
par contraintes, depuis 2004
- Membre du comité de direction du GdR I3
- Membre de la structure d’animation SA 1.2 du GdR I3Algorithmes pour l’inférence
et la satisfaction de contraintes, depuis 1999
- Membre de la structure d’animation SA 1.1 Modeles de raisonnements du
GdR I3,
depuis 1999
- Membre de l’association international Automated Reasoning, depuis 1995
- Membre du groupe Mathématique de l’Optimisation et de la Décision, 2003-2004
Responsabilities
- Recherche :
– Responsable de l’axe 2 du CRIL, Algorithmes pour l’inférence et la prise
de décision
– Co-responsable de la structure d’animation SA 1.2 algorithme pour l’inférence
et la satisfcation de contraintes du GdR-I3, depuis mars 1999
– Membre du comité de direction du GdR I3, depuis 1999
– Membre élu du comité de direction de l’AFPC, depuis 2004
1999.
– Responsable de l’organisation de l’opération de soutien aux jeunes chercheurs,
JFPC’05, JNPC’2000-2004
– Responsable des séminaires au Centre de Recherche en Informatique de Lens
(1995-2000).
– Responsable de la maintenance du site web du GT1.2 du GdR I3.
- Enseignement :
– Responsable du parcours L Math Info 2003-2005
– Président du Jury L2 Math Info, depuis 2002
– Président de la commission d’équivalences, Math Info, UFR des sciences,
depuis 2003
– Responsable DESS IRR partie IA, Toulouse III, 2001
– Responsable des forums carrieres (depuis septembre 1999).
– Responsable du suivi des anciens étudiants du département informatique
(depuis septembre 1999).
– Responsable du réseau d’enseignement sous Windows-NT (année 1997).
– Responsable de la gestion d’une salle TP sous Unix (année 1995).
Conseils et commissions
- Membre élu du conseil d’UFR, Faculté des sciences Jean Perrin
- Membre élu du conseil laboratoire, CRIL, Université d’Artois
- Membre élu du conseil scientifique de l’Université d’Artois (1997 - 2000)
- Membre extérieur de la commission de spécialistes, 27eme section Université
de Valenciennes (1999-2001, 2003- )
- Membre de la commission de spécialistes, 30eme section , Groupe IV, Université
d’Artois (20022004)
- Membre extérieur de la commission de spécialistes, 27eme section Université
Lille
III (depuis 2004)
- Membre élu de la commission de spécialistes, 27eme section Université
d’Artois
(depuis 2002)
- Membre extérieur de la commission de spécialistes, 27esection Université
d’Amiens
(1998 - 2001)
- Membre de la commission de documentation de l’Université d’Artois (1997
- 1999).
National and international collaborations
- Youssef HAMADI, Microsoft Research Londres
- Lucas Bordeaux, Microsoft Research Londres
- Richard OSTROWSKI, Pierre SIEGEL, Lionel PARIS, Université d’Aix-Marseille
I
- Gilles DEQUEN, , Sylvain DARRAS, Laure DEVENDVILLE, Laria, Amiens
- Frédéric MESSINE, Université de Pau (actuellement a l’EINSEIHT, Toulouse)
- Christian BESSIERE, Lirmm, Montpellier
- Antoine RAUZY, Laboratoire Bordelais de Recherche en Informatique (LaBRI),
actuellement au laboratoire IML, Marseille
- Eric GREGOIRE, Vincent VIDAL, Christophe LECOUTRE, Frédéric BOUSSEMARD,
Fred HEMERY, Jean-François CANDOTTA, Gilles AUDEMARD, Pierre MARQUIS,
Bertrand MAZURE, Assef CHMEISS, CRIL, Université d’Artois