En este nuevo evento de FP Madrid, exploraremos dos temas clave para el desarrollo de software: el lenguaje de programación APL y la verificación formal. Jesús Galán y David Mazarro, quienes hablarán en inglés y español, respectivamente, nos guiarán a través de estas tecnologías y técnicas, mostrando su aplicación en el mundo real.
¿Por qué es importante la verificación formal?
Aunque el testing es útil para detectar errores en tu software, no siempre garantiza que el software funcione exactamente como esperas. Si buscas un alto nivel de confianza en la fiabilidad de tu software, la verificación formal es la respuesta. Esta charla te ofrecerá una introducción a la verificación formal sin necesidad de conocimientos previos en programación funcional, solo es necesario estar familiarizado con conceptos generales de programación para entender los ejemplos presentados.
Agenda del evento:
- 18:30 – Registro y bienvenida
- 18:45 – Jesús Galán (Dyalog) – APL Materials
- 19:30 – David Mazarro (Stack Builders) – Impulsando la confianza en el software con la verificación formal
- 20:15 – Networking
Sobre APL:
APL (A Programming Language) es un lenguaje de programación único que también funciona como una alternativa a la notación matemática y una poderosa herramienta de pensamiento. Ha sido una fuente de inspiración para tecnologías como la programación funcional, NumPy y Matlab. A lo largo de más de 50 años, APL ha sido utilizado en diversos sectores, desde compiladores autohospedados hasta investigaciones metalúrgicas y software financiero. Durante esta charla, aprenderás sobre la historia de APL, sus aplicaciones en el mundo real y cómo ha influido en el desarrollo de tecnologías clave.
No te pierdas esta oportunidad única para descubrir más sobre el lenguaje de programación APL y cómo la verificación formal está revolucionando la confianza en el software. ¡Te esperamos!
Inscríbete aquí y asegura tu plaza.
