El pasado viernes 29 de noviembre tuvo lugar AVERTIS, un evento dedicado a el Análisis, Verificación y Transformación para la Programación Declarativa y Sistemas Inteligentes, la línea de investigación que lleva a cabo nuestro investigador y antiguo director del Instituto IMDEA Software, Manuel Hermenegildo, que contó con un gran número de expertos en la materia.
AVERTIS se convirtió en una intensa e interesante jornada cargada de conocimiento, divulgación científica y compañerismo.
En total el evento contó con 13 ponentes de excepción: Roberto Giacobazzi; Patrik Cousot; Andy King; María García de la Banda; David S. Warren; María Alpuente; Narciso Martí Oliet; Martin Wirsing; Veronica Dahl; Peter Stuckey; Mike Codish; Gopal Gupta; y Ricardo V. Peña Mari.
View the photo gallery
