Stefano Forti, a researcher in the Department, took the podium at the Logic Programming / Constraint Programming Contest (LP/CP 2025) with the team ‘Nduja Tapas w/ glass of Chianti’. The team, which also included Antonio Ielo (University of Calabria) and Brais Muñiz Castro (University of Coruña, Spain), took second place out of nine participating teams.
The competition took place on 17 September 2025 at the University of Calabria, as part of the ICLP 2025 international conference, the main event for the logic programming community.
Launched in 1994, the LP/CP Programming Contest tests participants’ ability to tackle combinatorial problems using declarative programming and constraint programming paradigms, through languages such as Prolog, ASP and MiniZinc.
Forti, who works on declarative approaches for the sustainable management of distributed systems, together with Antonio Ielo and Damiano Azzolini (University of Ferrara), had already won first place in the 2023 edition of the contest, held in London, demonstrating the continuity and value of Pisa’s research in the international landscape of logic programming and declarative AI.