PICT 2006

1216: Tipos y reescritura para el desarrollo de programas robustos.
Reescritura, cálculo lambda y sistemas de tipos
Director: Alejandro Ríos.

2484: Analisis escalable de software utilizando técnicas basadas en satsolving.
Grupo de Investigación en Métodos Formales Relacionales
Director: Marcelo Frías.

920: Generalizaciones del problema de coloreo de grafos: multicoloreo de grafos.
Investigación operativa y optimización combinatoria
Directora: Paula Zabala.

1600: Optimización de problemas en redes de transporte y comunicaciones.
Investigación operativa y optimización combinatoria
Directora: Irene Loiseau.

2217: Análisis y segmentación de imágenes. Aplicación a imágenes de Radar de Apertura Sintética y a imágenes de ...
Grupo de Procesamiento de Imágenes
Directora: Marta Mejail.

1562: Tratabilidad computacional y algoritmos eficientes para algunos problemas de grafos.
Investigación operativa y optimización combinatoria
Director: Min Chin Lin.

2067: Computabilidad versus programabilidad.
Grupo de Investigación en Lógica y Computabilidad

Directora: Verónica Becher.