Algebra, Logic and Related Areas in Computer Science
Research Institute for Mathematical Science, Kyoto University
Room 110
This symposium series seeks new developments in computer science through algebra, languages, and mathematical logic, being a forum where researchers in these fields gather to exchange information and engage in discussions. Since 1992, we held 20 symposiums and at RIMS we hosted 26 research meetings and 10 international conferences (in ’90, ’92, ’97, ’97, ’00, ’02, ’08, ’14, ’18), along with accompanying workshops. The proposed meeting, like previous ones, aims to foster exchanges among domestic and international researchers, and to discover new intersections between the aforementioned fields.