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