On October 23 and 24, 2025, the Cádiz Conference Center hosted a new edition of Lambda World, an international conference specializing in functional programming. The event brought together companies and researchers to share advances, discuss trends, and explore the potential of functional programming languages and techniques.
This year, the organizing committee included the participation of Niki Vazou, Research Associate Professor at IMDEA Software. Additionally, three researchers from the institute participated as speakers throughout the two-day event. On Thursday, October 23, Alessio Ferrarini and Pablo Castellanos, PhD students at IMDEA Software, were in charge of organizing a 4-hour workshop titled “Solid Code with Liquid Types!”. Meanwhile, Alexander Gryzlov, Research Programmer at IMDEA Software, spoke the following day with his talk “Total Functions for Automated Reasoning: Building Terminating Theorem Provers”.
In addition to the participation of its researchers, IMDEA Software was a bronze sponsor of the event, reinforcing its commitment to the functional programming community and to promoting research aimed at building reliable, secure, and verifiable software. If you’re interested in this event, don’t hesitate to contact our researchers; they will surely be able to provide you with more information.
