XXII Jornada Técnica de AdaSpain (2025)
- Fecha y lugar
-
Viernes 23 de mayo de 2025 de 10:00 a 13:20 mediante reunión telemática.
- Programa Técnico:
-
Fernando Oleo (oleofer97@gmail.com)
Mario Aldea Rivas: (mario.aldea@unican.es)
- Inscripciones:
-
Gratuita a través del siguiente formulario:
- Enlace de conexión:
-
El enlace de la conexión será proporcionado tras la inscripción.
Conferencias invitadas
- Ponentes
-
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.