本学科の辛島 凜さんら（修士課程）が，情報科学の国際ワークショップ IWIN にて最優秀発表者賞を受賞

辛島 凜さんら（修士課程）が，ハンブルクで開催された情報科学の国際ワークショップ IWIN2019 において，
「最優秀発表者賞」を受賞しました．
IWIN2019 のサイト　http://www.infsoc.org/conference/iwin2019/

「Proposal and evaluation for equivalence checking for C and Java functions with recursive data structures by SAW」
辛島 凛, 原内 聡, 小形真平, 岡野浩三 (信州大学)