Presentación

La Jornada Técnica de Ada-Spain es un foro para presentar y debatir ideas, resultados y proyectos de investigación y desarrollo relacionados con el lenguaje Ada y otras tecnologías de software fiable.

Fecha y lugar

La jornada se celebrará el próximo viernes 23 de mayo entre las 10:00 y las 13:00 de forma virtual mediante un enlace de conexión telemática que se proporcionará a las personas interesadas tras su inscripción, que será gratuita.

Programa Técnico
  • Fernando Oleo (oleofer97@gmail.com)
  • Mario Aldea Rivas: (mario.aldea@unican.es)

Conferencia invitada
Cristian Simón Felipe "Ironclad: un núcleo de sistema operativo escrito en Ada."

Ironclad es un núcleo formalmente verificado, capaz de procesamiento a tiempo real, y 100% software libre. Esta presentación indagará en qué exactamente hace Ironclad especial, las metas del projecto, cómo la verificación de SPARK ayuda a conseguir estas metas, y contendrá una presentación técnica del sistema operativo y sus distribuciones.

Petición de contribuciones

Petición de contribuciones para la Jornada Técnica de AdaSpain de 2025