Posted on

Joined ICCQ 2023 PC

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

Posted on

Joined REBLS 2020 PC

紙名が、リアクティブプログラミングやイベント駆動型プログラミングに関する国際ワークショップ REBLS 2020のプログラム委員に加わりました。今年の11月にアメリカのシカゴで予定されている(状況次第ではバーチャル開催になると思われる)SPLASH国際会議内での開催です。