Mois : mai 2016

JFLI Seminar on Cyber-Physical System Verification

Date: Wednesday June 8, 2016 Time: 15:00 Place: room 007, Faculty of Science Bldg. 7, Hongo Campus, The University of Tokyo Title:  Nonstandard Static Analysis: a (Meta-)Logical Approach in Cyber-Physical System Verification Speaker:   Ichiro Hasuo (Dept. Computer Science, The University of Tokyo) Abstract: …

JFLI News in June

JFLI participated to the cybersecurity session of the ICT-Bio Asia 2016 workshop in Malaysia during May 30-31, 2016. JFLI will participate to the Technology Showcase from French Japanese joint research laboratories in Japan at the JST headquarters on June 15,…