[論文・研究発表] APLAS'23 (https://conf.researchr.org/home/aplas-2023) に採択されました。Yudai Tanabe, Luthfan Anshar Lubis, Tomoyuki Aotani, Hidehiko Masuhara "Compilation Semantics for a Programming Language with Versions."
[論文・研究発表] 修士課程の入江堅吾君が、日本ソフトウェア科学会第40回大会(https://jssst2023.wordpress.com/) にて、”Active Learning of Symbolic Mealy Machines” by Kengo Irie, Masaki Waga, Kohei Suenaga (Kyoto University)についての口頭発表を行います。
[論文・研究発表] 日本ソフトウェア科学会第40回大会(https://jssst2023.wordpress.com/program/) にて、「様相論理による統計的因果の形式化」by 川本裕輔 (産業技術総合研究所), 佐藤哲也 (東京工業大学), 末永幸平 (京都大学)についての口頭発表があります。（話者：川本裕輔さん）
[論文・研究発表] 修士課程の廣瀬雄一君が、日本ソフトウェア科学会第40回大会(https://jssst2023.wordpress.com/program/) にて、「解釈が容易な特徴量を用いたFeature Attribution に基づく将棋AIの指し手の解釈可能性向上手法」by 廣瀬雄一、和賀正樹、末永幸平(京都大学)についての口頭発表を行います。
[研究発表] 4回生の吉岡拓真君が、第40回 記号論理と情報科学研究集会（SLACS 2023）(https://lambda.ski/slacs2023/) にて、“Abstracting Effect Systems for Algebraic Effects and Handlers“ についての口頭発表を行いました。
[研究発表] 博士後期課程の村瀬唯斗君が、第40回 記号論理と情報科学研究集会（SLACS 2023）(https://lambda.ski/slacs2023/) にて、“Scope-aware Staged Computation via Labelled Deduction“ についての口頭発表を行いました。