Los investigadores del Instituto IMDEA Software Gilles Barthe y Manuel Hermenegildo participaron en el Seminario Dagstuhl de Análisis de Cotas sobre Recursos en Schloss Dagstuhl, Alemania, del 16 al 21 de julio de 2017. El encuentro reunió a los principales investigadores de las áreas de análisis simbólico de cotas y análisis de tiempo máximo de ejecución (WCET) para discutir sobre el estado del arte y las direcciones futuras de investigación en este importante campo: la calidad del software depende de forma crucial de la cantidad de recursos - tales como tiempo, memoria o energía - que dicho software requiere para su ejecución. Entender y acotar el uso de recursos es crucial no sólo para escribir software eficiente sino también para asegurar la corrección de los sistemas software y su resistencia a los ciber-ataques. Manuel Hermenegildo, junto con Pedro López, Maximiliano Klemen y Umer Liqat dio un tutorial sobre Análisis de Coste con Relaciones en Recurrencias y sus Aplicaciones usando CiaoPP, así como su su trabajo reciente sobre Análisis y Verificación del Consumo de Energía también usando su sistema, CiaoPP. El grupo de Gilles Barthe presentó su trabajo reciente sobre Análisis Relacional de Coste (con Ezgi Cicek, Marco Gaboardi, Deepak Garg, y Jan Hoffmann).
