Paul-André Melliès a été invité à intervenir en séance plénière au Logic Colloquium 2024 qui se tiendra du 24 au 28 Juin à l’Université de Göteborg en Suède. Il y parlera de son travail sur les automates d’ordre supérieur et le lambda-calcul profini développé à l’IRIF en collaboration avec Sam van Gool et Vincent Moreau.