Ambientes Visuales de Programación Aplicativa (AVISPA)
Este grupo se dedica a la creación y análisis de modelos computacionales, la verificación automática de sistemas complejos, los problemas de optimización u satisfacción de restricciones, la lógica matemática y la lógica de reescritura; la semántica de lenguajes de programación, la teoría de pruebas, el diseño de algoritmos y el machine learning.
El grupo tiene tres ejes de acción que parten de la búsqueda de formalismos para modelar procesos concurrentes y distribuidos, la teoría y aplicaciones de la programación concurrente de restricciones, y la programación con restricciones para la solución de problemas de optimización combinatoria.
