Daniel Le Berre Maître de conférences HDR

Brève bio: premier et second cycle universitaire a l'Université de Bretagne Occidentable (UBO), Brest (Bretagne). Troisième cycle universitaire à l'Université Paul Sabatier, Toulouse III, Midi Pyrénées sous la direction de Michel Cayrol, à l'IRIT, équipe Raisonnement Plausible, Décision et Méthodes de Preuve. Thèse de doctorat intitulée Autour de SAT: le calcul d'impliquants P-restreints, algorithmes et applications soutenue le 12 janvier 2000. Assistant de recherche dans le laboratoire de recherche Business and Technology dirigé par Mary-Anne Williams, à l'Université de Newcastle, Australie, de mars 2000 à août 2001. Maître de conférences à la faculté Jean Perrin depuis septembre 2001. Habilité à diriger les recherches depuis le 3 décembre 2010 (diapos).

Découvrir Sat4j Pragmatics of SAT 2013 SAT Live! Le CRIL L'Université d'Artois Le CNRS (INS2I)

C'est tout chaud Notre travail sur la configuration de visites de musées sera présenté à ICAPS 2013. En savoir plus ...

Coordonnées

CRIL-CNRS UMR 8188
Université d'Artois
Faculté des sciences Jean Perrin
Rue Jean Souvraz SP18
62307 Lens Cedex
Téléphone : +33 (0)3 21 79 17 88
Fax : +33 (0)3 21 79 17 70
leberre at cril dot fr

Enseignement

Depuis la création du Master Professionnel Ingénierie Logiciel pour l'Internet, j'assure la majorité de mes enseignements en master, sur les thématiques du génie logiciel, de la programmation et conception orientée objet et la création d'applications d'entreprise en Java.

Recherche

Je m'intéresse a la résolution automatique de problèmes de décision et d'optimisation en logique propositionnelle.

Mes travaux se situent dans le cadre de l'Intelligence Artificielle, et plus particulièrement autour des thèmes suivants: SAT MAXSAT Optimisation Pseudo-Booléenne QBF Raisonnement non monotone

Etudiants/PhD students

Projets/Grants

Comités/Committees

Membre de comité éditorial/editorial board member
Journal on Satisfiability, Boolean Modeling and Computation (JSAT)
Advisory Commitee
Star Exec
Technology Council
OW2

Présentations invitées / Invited talks

Comités de programme/Program committees

2013

2012

2011

2010

2009

2008

2007

2006

2005 and before

Solver competitions

De 2002 à 2011, j'ai participé à tous les évènements compétitifs sur SAT, soit comme co-organisateur (2002-2005, 2007, 2009 et 2011) soit comme expert (2006, 2008 et 2010). Pour plus d'informations, voir le site de la compétition SAT.

Je maintiens un site web dédié au problème SAT appelé/I maintain a web site dedicated to SAT called SAT Live!.

Publications

Vous pouvez accéder à la liste complète de mes/You can take a look at all my publications

DBLP Google Scholar

Logiciels

Je m'attache à ce que mes travaux de recherche ou les projets de mes étudiants aboutissent sous la forme d'un logiciel, diffusé idéalement sous une licence libre afin d'en favoriser l'utilisation par des tiers.