Sök efter tagg: "logik"

The 2022 Lindström Lectures were delivered in June 2022 by Sara Negri, Professor of Mathematics at the University of Genoa. The Public Lindström Lecture took place on Monday, 20 June 2022…

The 2024 Lindström Lecture was delivered by Phokion Kolaitis, Distinguished Research Professor at UC Santa Cruz and a Principal Research Staff Member at the IBM Almaden Research Center, US. …