8 al 29 de Noviembre, 2013

7 sesiones (Lunes y Viernes de 17:00 a 18:30 hrs.)

Centro de Modelamiento Matemático
Blanco Encalada 2120, 7º piso

Orador principal
Santiago Videla (Inria Rennes, Francia)

Answer Set Programming (ASP) es un lenguaje declarativo orientado a modelar y resolver problemas difíciles (NP-hard) de búsqueda y optimización combinatorial.

La idea básica de ASP es expresar un problema como un conjunto de reglas lógicas tal que los modelos (answer sets) que satisfagan dichas reglas provean las soluciones al problema original.

En este curso-taller introduciremos los conceptos básicos de este lenguaje y presentaremos ejemplos de su aplicación a problemas reales en redes biológicas.

Se requiere inscripción previa (ver instrucciones aquí). El curso se dictará en castellano.

Primera sesión:
Viernes 8 de Noviembre de 2013 (17:00-18:30 hrs.)

Organiza:

CMM Mathomics
(Laboratorio de Bioinformática y Matemática del Genoma)

Información y Contacto:
vicente.acuna@dim.uchile.cl