ERATO MMSD is a JST-funded 5.5-year project (via the ERATO funding scheme) dedicated to Metamathematics for Systems Design (MMSD). It concluded in March 2025.

For further information on its achivements, try web search with "ERATO MMSD."

NII webpageJST webpage

Osaka-u webpageKyoto-u webpageKyusyu-u webpageWaterloo-u webpage