On 23 January, Loïc Peyrot, a doctoral student at the IRIF, was invited to speak on the subject of “Record polymorphism for set-theoretic types” at the IMDEA Software Institute.