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 .
