Contraintes & Apprentissage

Projets et contrats

• ACI BIOTIM
• ANR GD2GS
• ANR Graphem
• ANR Canar
• ANR CRoTAL

Organisation de conférences

• Les Cinquièmes Journées Francophones de Programmation par Contraintes (JFPC) ont été organisées par l'équipe du 3 au 5 juin 2009 à l'Université d'Orléans. Ce congrès international francophone à l'initiative de l' Association Française de Programmation par Contraintes est le principal congrès des communautés francophones travaillant sur les problèmes de satisfaction de contraintes (CSP), le problème de la satisfiabilité d'une formule logique propositionnelle (SAT) et la programmation logique avec contraintes (CLP).