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.

