North American Summer School for Logic, Language and Information 2025 - Inactive Form