School "Definability, Decidability, and Computability"
from Monday, September 15, 2025 (9:00 AM) to Friday, September 19, 2025 (4:00 PM)