[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 .