We had an all-hands meeting

Press Release issued

Presentations in ABZ 2025

A new team joined to the project

Presentation in FormaliSE 2025

Project website is now available on GitHub

シンポジウム開催（DSW-FMAP 2024）

Presentation in Hanoi, Vietnam

日本ソフトウェア科学会第 41 回大会 基調講演

Presentation in WIP Workshop of PRDC 2024