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. Ruidong Li,
National Institute of Information and Communications Technology, Japan

Speech Title: Data-Centric Security for In-Network Big Data Sharing (Download Abstract)

Ruidong Li received a bachelor in engineering from the Department of Information Science & Electronic Engineering, Zhejiang University, Zhejiang, China, in 2001. He received a master and doctorate of engineering from the University of Tsukuba, respectively, both in computer science. Dr. Li currently is a senior researcher at National Institute of Information and Communications Technology (NICT), Tokyo. He belongs to the Network Science and Convergence Device Lab of Network System Research Institute of NICT. He was a member of the AKARI Architecture Design Project for New Generation Networks, the Japanese national project for developing the future networks.
He is involved in the design, implementation, evaluation, and optimization of future network architecture. He is the chair of IEEE SIG on Big Data Intelligent Networking and the co-chair of young research group for Aisa future internet forum. His current research interests include future networks, Internet of things, big data networking, network security, edge computing, information-centric network, artificial intelligence, cyber-physical system, naming and addressing schemes, name resolution systems, and wireless networks. He has been visiting scholar in University of Göttingen (2016), Temple University (2016), University of Alabama (2017), and UCLA (2017).