私たちは、形式検証分野の研究交流を目的に活動しています。

お知らせ

2027年の合宿型ワークショップを準備しています。 開催概要や参加方法は、決まり次第お知らせします。

活動について

研究発表、ポスター発表、参加者同士の議論を通じて、 研究交流の機会を提供します。