10:00
Bienvenida, anuncios de la asociación, presentación del programa y presentación de la charla invitada
Alejandro Mosteo, presidente de AdaSpain
10:05
Charla invitada
Ada in Military Air platforms
José María Martínez, Airbus.
11:00
Descanso
11:10
Sesión 1
Presenta: Mario Aldea
Generación automática de código basada en modelos para sistemas embebidos de microsatélites
Hugo Valante, Universidad Politécnica de Madrid
Generación Automática de Casos de Prueba a partir de Especificaciones en SPARK
Gabriel Olea, Manuel Capel (Universidad de Granada), Samuel Jiménez (SATIXFY LTD.)
12:00
Descanso
12:10
Sesión 2
Presenta: Jorge Garrido
El gestor de paquetes Alire para Ada y SPARK: Novedades en la v2.0
Alejandro Mosteo, Universidad de Zaragoza
Sistema de análisis de software automático basado en ejecución simbólica de código fuente Ada
Mario García Pérez, Camino Fernández Llamas y Ricardo J. Rodríguez, Universidad de León
13:00
Anuncio de resultados del premio y despedida
Presenta: Juan Carlos Ruano y Alejandro Mosteo
13:15