Joined ICCQ 2023 PC

紙名が，プログラム解析・検証・バグ検出・保守・言語設計などに関する国際会議ICCQ 2023のプログラム委員に加わりました。2023年4月にロシアのサンクトペテルグルクで開催される予定です。