きのうから開催されているISMVL2026。

２日目のきょうは、
本所・ソフトウェア構成研究室の海野広志教授が
「Fixpoint Logics and Their Application to Software Verification」と題して
基調講演を行いました。

講演中は、聴講者から多くの質問や意見が寄せられ、活発な議論が展開されました。

ISMVL2026はあすが最終日です。