Alexandre Duret-Lutz has been invited as a keynote speaker at SPIN 2025. He gave a talk entitled "Growing an ω-automata library".