Kyushu University Institute of Mathematics for Industry

[2025/9/29–10/3] Logic, Algebra and Category Theory: Applications in Computer Science