[人事異動] 5/1付で西田雄気特定研究員が東北大学情報科学研究科情報基礎科学専攻助教として転出しました．おめでとうございます 👏

[人事異動] 4/1付で田辺裕大特定研究員が東京工業大学情報理工学院数理・計算科学系助教として転出しました．おめでとうございます 👏

[人事異動] 2024/2/29付でAmit Gurung特定研究員がAssistant ProfessorとしてUPES Dehradun (https://www.upes.ac.in/)に転出しました。おめでとうございます 👏

[old人事異動] 2023/8/1付でChiao Hsieh特定研究員が着任しました。

[人事異動] 4/1付で松下祐介特定研究員（学振PD）が着任しました．

[人事異動] 4/1付でSewon Park特定研究員が着任しました．

[論文・研究発表] ACM PLDI 2024 (https://pldi24.sigplan.org/) に採択されました．A. Igarashi (@50storms), S. Ozaki, T. Sekiyama, Y. Tanabe. "Space-Efficient Polymorphic Gradual Typing, Mostly Parametric"

[論文・研究発表] IEEE ICBC'24 (https://icbc2024.ieee-icbc.org/) に採択されました．Y. Nishida, K. Suenaga, A. Igarashi (@50storms). "iCon: Automated Verification of Inter-Transaction Properties in Tezos Smart Contracts with Unknowns"

[研究発表] PPL2024 (https://jssst-ppl.org/workshop/2024) カテゴリ2ではAPLAS2023で発表されたYudai Tanabe, Luthfan Anshar Lubis, Tomoyuki Aotani, Hidehiko Masuhara "Compilation Semantics for a Programming Language with Versions." についての発表も行います。
https://mastodon.acm.org/@fos_kuis/111209677640961575

[論文・研究発表] FLOPS2024 (https://conf.researchr.org/home/flops-2024) に採択されました．T. Suwa, A. Igarashi (@50storms) "An ML-Style Module System for Cross-Stage Type Abstraction in Multi-Stage Programming"

[ポスター発表]「データフローセキュリティの検証のためのIoTシステムモデリング言語Rabbit」by 稲葉皓信，五十嵐淳，石川裕，関山太朗．(PPL2024 (https://jssst-ppl.org/workshop/2024))

[ポスター発表]「iCon: Tezos スマートコントラクト群に対する未知の存在する下での協調動作検証器」by 西田雄気，末永幸平，五十嵐淳．(PPL2024 (https://jssst-ppl.org/workshop/2024))

[ポスター発表]「モジュールの静的解釈に関するより網羅的かつ堅牢な正当性の証明を目指して」by 諏訪敬之，五十嵐淳．(PPL2024 (https://jssst-ppl.org/workshop/2024))

[ポスター発表]「代数的エフェクトとハンドラのためのエフェクトシステムの抽象化」by 吉岡拓真，関山太朗，五十嵐淳．(PPL2024 (https://jssst-ppl.org/workshop/2024))

[ポスター発表]「項書換系の完備化を用いたCoqの等式証明プラグイン」by 矢島創一，池渕未来．(PPL2024 (https://jssst-ppl.org/workshop/2024))

[論文・研究発表]「命令型プログラムの安全性検証のための所有権主導変換」by 小林亮太，中村烈士，五十嵐淳，末永幸平，小林 直樹．(PPL2024 (https://jssst-ppl.org/workshop/2024))

[受賞] 入江君による本発表が優秀発表賞及び学生奨励賞を受賞しました。

[受賞] 廣瀬君による本発表が学生奨励賞を受賞しました。