Logic, Algebra and Category Theory: Applications in Computer Science(2025/9/29(月)–10/3(金)開催)のお知らせ