Auteur : jfliadmin

Bibliography

The list of JFLI publications can be accessed on hal: the latest ones are here and the older ones are there. Among all the French-Japanese publications of JFLI in 2018, here are three highlights: One joint publication at the 45th…

JFLI News in September

Vincent Nozick (University Marne La Vallée) joined JFLI from September 2016 and Thomas Silverston’s 2-year stay at JFLI ended. Yongha Son (from Seoul National University) visited JFLI for 14 days at the end of July 2016.

JFLI Internship Day 2016

The JFLI Internship Day 2016 will be held on: Date: July 13th, 2016 Place: National Institute for Informatics (NII) – Room 1902/1903 – 19th floorTime: 14:00 – 17:00 Program: Seven presentations by students about their research internship 14:00-14:10: Welcome: What is a Research…

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,…

Team Erasmus Mundus

Several partners of JFLI (the University of Tokyo, Keio University, UPMC, CNRS and Inria) participate to Team Erasmus Mundus, a program funded by the European Commission to support mobility between Europe, Japan and the Republic of Korea, at a doctorate,…