IX Seminario Internacional sobre Reformulación y Modelización con Restricciones en Saint Andrews (Reino Unido)
6 Septiembre 2010 - 6 Septiembre 2010
Reino Unido
El 6 de septiembre se celebrará en Saint Andrews (Reino Unido) el IX Seminario Internacional sobre Reformulación y Modelización con Restricciones.
La programación con restricciones es una tecnología muy potente para modelar y resolver problemas de combinatoria. Consiste en un paradigma de programación en el que no se especifica un paso o secuencia de pasos a ejecutar. En su lugar, la programación con restricciones detalla las propiedades de una solución a hallar.
Durante la última década se ha dedicado gran cantidad de tiempo a la modelización y resolución de problemas con restricciones. Este tipo de programación se ha establecido ya como un campo maduro útil en una gama amplia de aplicaciones prácticas complejas. No obstante, sólo un reducido grupo de expertos tiene acceso a esta tecnología. Para que se popularice entre personas no expertas es necesario profundizar en investigaciones que conduzcan a formas de utilizarla más sencillas.
Entre los temas a tratar en este taller se encuentran:
- problemas interesantes y maneras interesantes de modelarlos,
- conocimiento de la modelización para guiar la formulación manual o automática de modelos,
- identificación de los criterios que deberían emplearse en la evaluación de modelos y el diseño de técnicas paradigmáticas que faciliten la opción y posible combinación entre modelos alternativos,
- diseño de lenguajes de modelización de mayor nivel y técnicas de reformulación automática.Para más información, consulte:
http://www.it.uu.se/research/group/astra/ModRef10/(se abrirá en una nueva ventana)
La programación con restricciones es una tecnología muy potente para modelar y resolver problemas de combinatoria. Consiste en un paradigma de programación en el que no se especifica un paso o secuencia de pasos a ejecutar. En su lugar, la programación con restricciones detalla las propiedades de una solución a hallar.
Durante la última década se ha dedicado gran cantidad de tiempo a la modelización y resolución de problemas con restricciones. Este tipo de programación se ha establecido ya como un campo maduro útil en una gama amplia de aplicaciones prácticas complejas. No obstante, sólo un reducido grupo de expertos tiene acceso a esta tecnología. Para que se popularice entre personas no expertas es necesario profundizar en investigaciones que conduzcan a formas de utilizarla más sencillas.
Entre los temas a tratar en este taller se encuentran:
- problemas interesantes y maneras interesantes de modelarlos,
- conocimiento de la modelización para guiar la formulación manual o automática de modelos,
- identificación de los criterios que deberían emplearse en la evaluación de modelos y el diseño de técnicas paradigmáticas que faciliten la opción y posible combinación entre modelos alternativos,
- diseño de lenguajes de modelización de mayor nivel y técnicas de reformulación automática.Para más información, consulte:
http://www.it.uu.se/research/group/astra/ModRef10/(se abrirá en una nueva ventana)