Overview Program Please refer to the following URL for the program. webpage:https://imi.kyushu-u.ac.jp/lac/ Registration Advance registration is required. Free parti … 続きを読む Logic, Algebra and Category Theory: Applications in Computer Science｜2025b002