Paul-André Melliès has been invited as Plenary Speaker at the Logic Colloquium 2024 which will be held 24–28 June at the University of Gothenburg in Sweden. He will speak about his work on higher-order automata and profinite lambda-calculus developed at IRIF in collaboration with Sam van Gool and Vincent Moreau.