Los días 23 y 24 de octubre de 2025, el Palacio de Congresos de Cádiz acogió una nueva edición de Lambda World, una conferencia internacional especializada en programación funcional. Este encuentro reunió a empresas e investigadores para compartir avances, debatir tendencias y explorar el potencial de los lenguajes y técnicas de programación funcional.
En esta edición, el comité organizador contó con la participación de Niki Vazou, profesora asociada de investigación en IMDEA Software. Asimismo, tres investigadores del instituto participaron como ponentes durante las dos jornadas del evento. El jueves 23 de octubre, Alessio Ferrarini y Pablo Castellanos, estudiantes de doctorado en IMDEA Software, fueron los encargados de organizar un workshop de 4 horas titulado “Solid Code with Liquid Types!”. Por su parte, Alexander Gryzlov, programador investigador del instituto, intervino el día siguiente con la ponencia “Total Functions for Automated Reasoning: Building Terminating Theorem Provers”.
Además de la participación de sus investigadores, IMDEA Software fue patrocinador bronce del evento, reforzando así su compromiso con la comunidad de programación funcional y la difusión de investigación orientada a la construcción de software fiable, seguro y verificable. Si te interesa este evento, no dudes en contactar con nuestros investigadores; seguro que podrán ofrecerte toda la información.
