English Español français rss
> Accueil > Programme > Colloques parallèles

Coll. CHOCO : ANNULÉ

Traduction(s) de cet article : English
Intervenant(s) :Charles Prud'homme
Type d'événement :Atelier
Niveau :Confirmé
Durée :0 minutes
Langue :English

LE COLLOQUE CHOCO EST ANNULÉ

La Programmation Par Contraintes est aujourd’hui un outil majeur pour l’aide à la décision. Ce paradigme repose sur le concept suivant : un modèle est défini par des relations logiques (contraintes) posées sur plusieurs variables. La solution d’un problème posé de la sorte consiste à attribuer une valeur à chaque variable de manière à respecter toutes les contraintes du modèle.

CHOCO est une librairie Java proposant un ensemble d’outils pour la modélisation et la résolution de problèmes de satisfaction de contraintes (CSP). Les objectifs de CHOCO sont triples : offrir un support pour l’enseignement, être une base active pour la recherche et être robuste aux applications industrielles. CHOCO est fortement orienté utilisateur, avec un code open-source et des concepts facilement personnalisables.

Nous voulons nous inscrire dans le cadre des 10es Rencontres Mondiales du Logiciel Libre en proposant une demi-journée basée sur trois temps forts :
- Présentation de la Programmation par Contraintes en général et de CHOCO en particulier (1h),
- Retours d’utilisateurs sur des projets concrets reposant sur CHOCO (40min),
- Initiation à la PPC et à CHOCO (l’initiation se déroulera sur les machines des personnes intéressées) (80min et +).