HIROKAWA, Nao
Associate Professor
Information Science, Computing Science
Committee Memberships
4 items
・ 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-