[口頭発表] PPL2026(https://jssst-ppl.org/workshop/2026/)カテゴリ2では，研究室メンバによる以下の発表があります．

* Efficient Black-Box Checking with Specification-Guided Abstraction.
Tsubasa Matsumoto, Kazuki Watanabe, Kohei Suenaga, Masaki Waga.
(出典: EMSOFT2025)

* Hyper pattern matching. Masaki Waga, Étienne André.
(出展: RV2025)

* Homological Invariants of Higher-Order Equational Theories. Mirai Ikebuchi.
(出典: LICS2025)

[受賞] 本発表が日本ソフトウェア科学会第42回大会学生奨励賞と同優秀発表賞を受賞しました．

[受賞] 本発表が日本ソフトウェア科学会第42回大会学生奨励賞と同優秀発表賞を受賞しました．

[論文・研究発表] ESOP 2026 (https://etaps.org/2026/conferences/esop/)に採択されました．P. Ângelo, A. Igarashi, Y. Murase, V. Vasconcelos. "Contextual Metaprogramming for Session Types."

[口頭発表] 和賀正樹がQuantFormal (https://quantformal-2025.vercel.app/) にて "Specification‑Based Testing of Cyber‑Physical Systems via Black‑Box Checking" についての発表をしました．

[論文・研究発表] 修士課程の吉岡拓真君が、日本ソフトウェア科学会第42回大会(https://jssst2025.wordpress.com/) にて、"Unifying Function- and Argument-First Bidirectional Type
Systems"についての発表を行います。(共著者： 関山 太朗，五十嵐 淳 (@50storms))

[論文・研究発表] 修士課程の大志万優生君が、日本ソフトウェア科学会第42回大会(https://jssst2025.wordpress.com/) にて、「動的型推論を備えた空間効率の良い漸進的型付け」 についての口頭発表を行います。(共著者： 関山 太朗，五十嵐 淳 (@50storms))

[口頭発表] 池渕未来がALGI 2025 (https://sites.google.com/site/algimeeting/%E3%83%9B%E3%83%BC%E3%83%A0/algi-36-2025/%E3%83%97%E3%83%AD%E3%82%B0%E3%83%A9%E3%83%A0-2025?authuser=0) にて "Homological Methods to Equational Theories" についての発表をしました．

[口頭発表] 修士2回生の山下拓真がALGI 2025 (https://sites.google.com/site/algimeeting/%E3%83%9B%E3%83%BC%E3%83%A0/algi-36-2025/%E3%83%97%E3%83%AD%E3%82%B0%E3%83%A9%E3%83%A0-2025?authuser=0) にて「等式理論に対するホモトピー関係」の発表をしました．

[論文・研究発表] ICTAC 2025(https://ictac2025.digital-hub.sh/)に採択されました．K. Irie, M. Waga and K. Suenaga. "Active Learning of Symbolic Mealy Automata."

[論文・研究発表] ICTAC 2025(https://ictac2025.digital-hub.sh/)に採択されました．D. Aiba, M. Waga, H. Fujinami, K. Muroya, S. Ouchi, N. Ueda, Y. Yokoyama, Y. Wada and I. Hasuo. "A Variety of Request-Response Specifications."

[論文・研究発表] Scheme 2025(https://conf.researchr.org/home/icfp-splash-2025/scheme-2025)にPosition Paperが採択されました．Y. Murase (@bindingscope). "Hygienic Macros via Staged Environment Machines."

[論文・研究発表] Science of Computer Programming, vol. 248, 2026 に論文が採択されました．
T. Suwa, A. Igarashi (@50storms) "An ML-Style Module System for Cross-Stage Type Abstraction in Multi-Stage Programming"
10/3 までは https://authors.elsevier.com/c/1lbtuc7X5EoFU で free access できます．
本論文は FLOPS 2024 で発表した論文の full version です．(参考:
https://mastodon.acm.org/@fos_kuis/111944627935397264)

[論文・研究発表] CAV 2025(https://conferences.i-cav.org/2025/)に採択されました．Y. Kawamoto, K. Kobayashi, K. Suenaga. "StatWhy: Formal Verification Tool for Statistical Hypothesis Testing Programs."

[論文・研究発表] LICS 2025 (https://lics.siglog.org/lics25/) に採択されました．M. Ikebuchi, "Homological Invariants of Higher-Order Equational Theories"

[論文・研究発表] Theoretical Computer Science, Volume 1045, 2025 に論文が採択されました．M. Ikebuchi, "Cyclic proofs and size-change termination" https://www.sciencedirect.com/science/article/pii/S0304397525002117

[論文・研究発表] ATVA 2025 (https://conf.researchr.org/home/atva-2025) に採択されました。 H. Fujinami, M. Waga, J. An, K. Suenaga, N. Yanagisawa, H. Iseri, I. Hasuo. "Componentwise Automata Learning for System Integration"

[論文・研究発表] RV 2025 (https://rv25.isec.tugraz.at/) に採択されました。 M. Waga, É. André. "Hyper pattern matching"

[論文・研究発表] ACM PLDI 2025 (https://pldi25.sigplan.org) に採択されました。Y. Matsushita, T. Tsukada. “Nola: Later-Free Ghost State for Verifying Termination in Iris.”