XIX Jornada Técnica de AdaSpain (2022)

Fecha y lugar: Miércoles 27 de abril de 2022 de 10:00 a 13:00 mediante reunión telemática. El enlace de la conexión será proporcionado tras la inscripción.
Programa Técnico:: Alejandro Alonso Muñoz: (alejandro.alonso@upm.es)
Organización e Inscripciones:: Mario Aldea (aldeam@unican.es)
Enlace de conexión:: Pendiente de anuncio.

Conferencias invitadas

Título:: Embedded Ada/SPARK Programming in 2022
Resumen:: This talk will present a view of the state of embedded Ada/SPARK programming in 2022. It will explore the pros and cons, the state of the ecosystem, the new tools and techniques, the hurdles we should remove, and more. The definition of embedded programming is very broad so it will focus on micro-controllers, devices with a handful of megahertz and kilo-bytes of memory.
Por:: Fabien Chouteau
D. Fabien Chouteau es ingeniero de software en AdaCore desde 2010, y está especializado en el desarrollo de Software para sistemas empotrados y su verificación formal con SPARK/Ada.