Alcides Fonseca, LASIGE integrated researcher, visited the Claus Aranha Lab at the University of Tsukuba, Japan, in April 2025, where he gave a talk on Program Synthesis with Liquid Types.

This talk covered the papers submitted at PPSN’20, GPTP’21, GPCE’22, EuroGP’23, ICSE’23, GECCO’23, GECCO’24, describing how liquid types can help programmers write programs with less bugs, as well as improve the automation of code generation with assurance.