Nagoya welcomes AIVR 2018

Keynote Speakers

Prof. Kazumi Nakamatsu,
University of Hyogo, JAPAN

Speech Title: Application of Paraconsistent Annotated Logic Program EVALPSN to Intelligent Control/Safety Verification (Download Abstract)

Kazumi Nakamatsu received the Ms. Eng. and Dr. Sci. from Shizuoka University and Kyushu University, Japan, respectively. He is a full Professor at School of Human Science and Environment, University of Hyogo, Japan.
His research interests encompass various kinds of logic and their applications to Computer Science, especially paraconsistent annotated logic programs and their applications. He has developed some paraconsistent annotated logic programs called ALPSN(Annotated Logic Program with Strong Negation), VALPSN(Vector ALPSN), EVALPSN(Extended VALPSN) and bf-EVALPSN (before-after EVALPSN) recently, and applied them to various intelligent systems such as a safety verification based railway interlocking control system and process order control. He is an author of over 150 papers and book chapters, and edited 7 books published by prominent publishers.
Kazumi Nakamatsu has chaired various international conferences, workshops and invited sessions, and he has been a member of numerous international program committees of workshops and conferences in the area of Artificial Intelligence and Computer Science. He serves as Editor-in-Chief of the International Journal of Reasoning-based Intelligent Systems by Inderscience Publishers(UK) and an editorial board member of many international journals. He has contributed numerous invited lectures at international workshops, conferences, and academic organizations. He also is a recipient of some conference and paper awards. He is a member of Japan AI Society, IEEE, etc.

Prof. Jie Li,  Shanghai Jiaotong University, China

Dr. Jie LI is Chair professor in Department of Computer Science and Engineering, School of Electronic Information and Electrical Engineering, Shanghai Jiaotong University, China. He has been a professor in computer science in Division of Information Engineering, Faculty of Engineering, Information and Systems, University of Tsukuba, Japan. He has been a visiting Professor in Yale University, USA, Inria Sophia Antipolis and Inria Grenoble–Rhone-Aples, France, during the sabbatical year in September 2014 through August 2015. His research interests are in Big Data, Cloud, intelligent mobile and ubiquitous computing and networking, information security, Internet computing and networking, OS, modeling and performance evaluation of information systems. He is a senior member of IEEE and ACM, and a member of IPSJ (The Information Processing Society of Japan). He is the founding chair of the IEEE ComSoc Technical Committee on Big Data (TCBD) and the co-chair of IEEE Big Data Community (since 2018.1).

Dr. LI received the B.E. degree in computer science from Zhejiang University, Hangzhou, China, the M.E. degree in electronic engineering and communication systems from China Academy of Posts and Telecommunications, Beijing, China. He received the Dr. Eng. degree from the University of Electro-Communications, Tokyo, Japan.

Dr. LI has served as a guest editor for many international journals such as IEEE JSAC and IEEE Network recently. He has served as a secretary for Study Group on System Evaluation of IPSJ and on Steering Committees of the SIG of System EVAluation (EVA) of IPSJ, the SIG of DataBase System (DBS) of IPSJ, and the SIG of MoBiLe computing and ubiquitous communications of IPSJ. He has served on several editorial boards for the IPSJ Journal and many international professional journals. He has also served on the program committees for several international professional conferences.