| Both sides previous revisionPrevious revision | |
| jp:start [2026/09/27 07:37] – [最新のニュース] hiroshi_unno | jp:start [2026/09/27 07:38] (current) – [最新のニュース] hiroshi_unno |
|---|
| * **2026年9月**. **海野 広志**教授が [[https://ses.sigse.jp/2026/|SES 2026]] において**卓越研究賞**を受賞しました。 | * **2026年9月**. **海野 広志**教授が [[https://ses.sigse.jp/2026/|SES 2026]] において**卓越研究賞**を受賞しました。 |
| * **2026年8月**. **海野 広志**教授らによる論文 "Automated Safety Verification of Posterior Distributions of Probabilistic Programs" が [[https://2026.ijcai.org/|IJCAI 2026]] で発表されました。 | * **2026年8月**. **海野 広志**教授らによる論文 "Automated Safety Verification of Posterior Distributions of Probabilistic Programs" が [[https://2026.ijcai.org/|IJCAI 2026]] で発表されました。 |
| * **2026年7月**. [[https://www.online-opencampus.tnc.tohoku.ac.jp/index.html|東北大学オープンキャンパス2026]]にて、**岡田 渉汰**さん、**渡辺 大也**さん、**植原 一希**さん、**Clovis Eberhart 助教**がポスター展示および本研究室で開発している検証ツール **Athena** および **Thrust** のデモ展示を行いました。 | * **2026年7月**. [[https://www.online-opencampus.tnc.tohoku.ac.jp/index.html|東北大学オープンキャンパス2026]]にて、**岡田 渉汰**さん、**渡辺 大也**さん、**植原 一希**さん、**Clovis Eberhart** 助教がポスター展示および本研究室で開発している検証ツール **Athena** および **Thrust** のデモ展示を行いました。 |
| * **2026年7月**. **海野 広志**教授らによる論文 "Lagrangian-Based Duality for Quantified SMT Algorithms" が [[https://conferences.i-cav.org/2026/|CAV 2026]] で発表されました。 | * **2026年7月**. **海野 広志**教授らによる論文 "Lagrangian-Based Duality for Quantified SMT Algorithms" が [[https://conferences.i-cav.org/2026/|CAV 2026]] で発表されました。 |
| * **2026年7月**. 本研究室で開発している検証ツール **MuVal** で [[https://termcomp.github.io/Y2026/|Termination Competition 2026]] に参加しました。 | * **2026年7月**. 本研究室で開発している検証ツール **MuVal** で [[https://termcomp.github.io/Y2026/|Termination Competition 2026]] に参加しました。 |
| * **2025年5月**. **海野 広志**教授が [[https://epit2025.sciencesconf.org/|EPIT 2025]] で招待講義を行いました。 | * **2025年5月**. **海野 広志**教授が [[https://epit2025.sciencesconf.org/|EPIT 2025]] で招待講義を行いました。 |
| * **2025年5月**. **海野 広志**教授が [[https://chocola.ens-lyon.fr/events/meeting-2025-05-15/|CHoCoLa ミーティング]] で招待講演を行いました。 | * **2025年5月**. **海野 広志**教授が [[https://chocola.ens-lyon.fr/events/meeting-2025-05-15/|CHoCoLa ミーティング]] で招待講演を行いました。 |
| * **2025年5月**. **Clovis Eberhart**助教が本研究室に着任しました。 | * **2025年5月**. **Clovis Eberhart** 助教が本研究室に着任しました。 |
| * **2025年4月**. 本研究室で開発している2つのCHCソルバー **PCSat** と **MuCyc** で [[https://chc-comp.github.io/2025/|CHC-COMP 2025]] に参加しました。 | * **2025年4月**. 本研究室で開発している2つのCHCソルバー **PCSat** と **MuCyc** で [[https://chc-comp.github.io/2025/|CHC-COMP 2025]] に参加しました。 |
| * **2025年4月**. **海野 広志**教授の研究課題「プログラム検証技術の基礎付けと応用」が、[[https://kaken.nii.ac.jp/ja/grant/KAKENHI-PROJECT-25K24739/|科学研究費助成事業 基盤研究(S)]] に採択されました。 | * **2025年4月**. **海野 広志**教授の研究課題「プログラム検証技術の基礎付けと応用」が、[[https://kaken.nii.ac.jp/ja/grant/KAKENHI-PROJECT-25K24739/|科学研究費助成事業 基盤研究(S)]] に採択されました。 |
