The Sheng Yu-Award for the best paper is awarded to
Engineering an LTLf Synthesis Tool
by Alexandre Duret-Lutz, Shufang Zhu, Nir Piterman, Giuseppe De Giacomo, and Moshe Vardi.
29th International Conference on
Implementation and Application of Automata
22-25 September 2025, Palermo, Italy