Skip to content

ERATO Metamathematics for Systems Design Project

This website at NII is supplementary to the official website at JST.

Language

English
日本語
中文

Top
About
Members
Open Positions
- PhD Students
- Internship Students
Papers
Theses
Events
Access & Contact

Search

Search for:

Recent Posts

ERATO MMSD Project Symposium on June 19, 2024
Distinguished paper award at 35th International Conference on Computer Aided Verification
Three papers accepted for CAV 2023
Open Positions
A New Method for Mathematically Proving the Safety of Automated Driving Vehicles
— Accelerating Social Acceptance of Automated Driving by Efficiently Deriving Logical Safety Rules —

Archives

August 2024 (1)
May 2024 (2)
August 2023 (2)
May 2023 (3)
October 2022 (2)
July 2022 (2)
March 2022 (2)
November 2021 (1)
October 2021 (4)
June 2021 (1)
March 2021 (2)
October 2020 (2)
September 2020 (2)
March 2020 (3)
November 2019 (6)
October 2019 (2)
August 2019 (2)
May 2019 (4)
April 2019 (3)
March 2019 (7)
December 2018 (3)

Open Positions

(2023-04-02) PhD studentships and internships are available. Consult the menu items.

Proudly powered by WordPress