HIROKAWA, Nao
Associate Professor, Director of Computing Science Research Area
Information Science, Computing Science
Committee Memberships
5 items
・ 16th International Workshop on Rewriting Logic and its Applications , program committee member , 2026-
・ 14th International Workshop on Rewriting Logic and its Applications (WRLA) , program committee member , 2022-
・ 28th International Conference on Automated Deduction (CADE-28) , program committee member , 2021-
・ ソフトウェア科学会 第22回プログラミングおよびプログラミング言語ワークショップ (PPL 2021) , program committee member , 2021-
・ 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-23) , program committee member , 2020-