Alcides Fonseca, LASIGE integrated member, gave a talk entitled “Safer Software with Liquid Types”, on 4 February 2026, at Department of Computer Engineering (DEI) at the Faculty of Engineering of Oporto.

The presentation was structured as follows: “In a world where LLM-generated code is being produced at a faster pace than human written code, verification is more important than ever. Liquid Types (refining types with logical predicates, e.g. {x:Int | x > 10}) have been around for 17 years now but, despite their many applications, they haven’t taken off. In this talk we will answer why (PLDI’25), based on user interviews we conducted, relating them to other verification tools such as Interactive Theorem Provers and Design-by-Contract approaches like Dafny. Finally, we will see how our research group is addressing those challenges in both LiquidJava and Aeon.”