News & Events


[December 18, 2019] 76th J-BEANS Seminar

Time & Date 12:40-13:20, December 18, 2019
Place J-BEANS (1F, Institute Hall)
Speaker Assistant Professor TOMITA, Takashi
Security and Networks Area, Research Center For Advanced Computing Infrastructure
Title Approaches to Practices of Formal Methods
Language Japanese (The slides are written in English.)

 For more details, please refer to the seminar abstract .