School "Definability, Decidability, and Computability"

Name: School "Definability, Decidability, and Computability"
Start: 2025-09-15T09:00:00+02:00
End: 2025-09-19T16:00:00+02:00
Location: HIM

Sep 15 – 19, 2025 HIM/HSM Special Topic School