Se ha celebrado en la sede del Instituto IMDEA Software la Segunda Escuela de Invierno de PROMETIDOS, organizada como parte de las actividades del programa PROMETIDOS-CM. Dicha Escuela está orientada, por un lado, a la divulgación entre los miembros de la comunidad investigadora y académica de los resultados obtenidos en el ámbito de dicho programa y de otros programas similares y, por otro lado, a proporcionar una introducción a determinadas áreas de investigación mediante charlas técnicas de iniciación a las mismas.
Durante la Escuela, doce investigadores pertenecientes a la UPM, la UCM y el Instituto IMDEA Software (las instituciones participantes en el programa PROMETIDOS-CM) presentaron algunos de los resultados más notables en sus respectivas áreas, desde la generación de implementaciones correctas de algoritmos criptográficos, hasta técnicas para la certificación automática de la terminación de determinadas clases de programas. Todas ellas tienen, hoy en día, aplicaciones inmediatas en el software producido por y para la industria. En estos momentos, la presencia del software en la sociedad moderna es indiscutible, ya sea en los casos en que los usuarios interactúan directamente con él, como en ordenadores de sobremesa, portátiles, teléfonos móviles. etc. como en aquellas en que permanece más oculto, como en sistemas "en la nube" que proporcionan servicios generales como almacenamiento y comunicaciones o sistemas empotrados, como los existentes en automóviles modernos. En todos estos casos, la seguridad y fiabilidad de las aplicaciones ejecutadas en los ordenadores es esencial y necesaria para que podamos confiar en su ejecución correcta para la vida diaria.
La organización de la Escuela de Invierno, cuyo coordinador general es el investigador del Instituto IMDEA Software Pierre-Yves Strub, sigue las ideas iniciadas en la primera Escuela de Verano de Prometidos en cuanto a estructura y duración de las charlas y el espíritu de facilitar su accesibilidad al mayor número de personas posible. En este sentido, y con objeto de favorecer la asistencia del mayor número posible de interesados (en particular de estudiantes de Máster y Doctorado), la Escuela de Invierno no tiene coste asociado de matrícula y no necesita de requisitos especiales para asistir a las sesiones.