情報処理学会より山下記念研究賞を受賞しました。(情報システム学専攻 早乙女献自 D3)

Cyclic-proof systems for symbolic heaps require cut formulas outside initial signatures

上記論文に関して口頭発表した内容が、山下記念研究賞に選出された。