Neuvième atelier international sur la modélisation par contraintes et la reformulation à Saint Andrews, au Royaume-Uni
6 Septembre 2010 - 6 Septembre 2010
Royaume-Uni
Le neuvième atelier international sur la modélisation par contraintes et la reformulation aura lieu le 6 septembre 2010 à Saint Andrews, en Écosse (Royaume-Uni).
La programmation par contraintes (PPC) est une puissante technologie pour la modélisation et la résolution de problèmes combinatoires. Il s'agit d'un paradigme de programmation qui ne spécifie par d'étape ou de séquence d'étapes à exécuter. La PPC détaille plutôt les propriétés d'une solution qu'il faut trouver.
Ces dernières années, de nombreux travaux de recherche se sont consacrés à la modélisation et à la résolution de problèmes avec contraintes. La PPC est un domaine mûr qui a souvent été utilisé pour aborder de nombreuses applications complexes réelles. Cependant, cette technologie n'est accessible qu'à un nombre limité d'experts. Pour permettre aux non-initiés d'utiliser la PPC, il convient de mener davantage de recherche pour rendre cette technologie plus accessible.
Les sessions thématiques de l'atelier porteront sur:
- les problèmes intéressants et les moyens de les modéliser;
- comprendre les processus de modélisation qui pourrait aider à la création manuelle ou automatique des modèles;
- l'identification des critères qui devraient être utilisés dans l'évaluation des modèles et la conception de techniques pragmatiques facilitant la sélection et l'association potentielle des modèles alternatifs;
- la conception de langages de modélisation de plus haut niveau et de techniques de reformulation automatique.Pour de plus amples informations, consulter:
http://www.it.uu.se/research/group/astra/ModRef10/(s’ouvre dans une nouvelle fenêtre)
La programmation par contraintes (PPC) est une puissante technologie pour la modélisation et la résolution de problèmes combinatoires. Il s'agit d'un paradigme de programmation qui ne spécifie par d'étape ou de séquence d'étapes à exécuter. La PPC détaille plutôt les propriétés d'une solution qu'il faut trouver.
Ces dernières années, de nombreux travaux de recherche se sont consacrés à la modélisation et à la résolution de problèmes avec contraintes. La PPC est un domaine mûr qui a souvent été utilisé pour aborder de nombreuses applications complexes réelles. Cependant, cette technologie n'est accessible qu'à un nombre limité d'experts. Pour permettre aux non-initiés d'utiliser la PPC, il convient de mener davantage de recherche pour rendre cette technologie plus accessible.
Les sessions thématiques de l'atelier porteront sur:
- les problèmes intéressants et les moyens de les modéliser;
- comprendre les processus de modélisation qui pourrait aider à la création manuelle ou automatique des modèles;
- l'identification des critères qui devraient être utilisés dans l'évaluation des modèles et la conception de techniques pragmatiques facilitant la sélection et l'association potentielle des modèles alternatifs;
- la conception de langages de modélisation de plus haut niveau et de techniques de reformulation automatique.Pour de plus amples informations, consulter:
http://www.it.uu.se/research/group/astra/ModRef10/(s’ouvre dans une nouvelle fenêtre)