Irwin King, IEEE Fellow & HKIE Fellow
President, INNS (2019-2020), FIEEE, FHKIE, SMACM, BoG APNNS & INNS
Prof. Dr., The Chinese University of Hong Kong
Prof. King's research interests include machine learning, social computing, AI, web intelligence, data mining, and multimedia information processing. In these research areas, he has over 300 technical publications in journals and conferences. He is an Associate Editor of the Journal of Neural Networks and ACM Transactions on Knowledge Discovery from Data (ACM TKDD). He is President of the International Neural Network Society (INNS) and an IEEE Fellow, Distinguished Member of ACM, and HKIE Fellow. Moreover, he is the General Co-chair of The WebConf 2020, ICONIP 2020, WSDM 2011, RecSys 2013, ACML 2015, and in various capacities in a number of top conferences such as WWW, NIPS, ICML, IJCAI, AAAI, etc. While he was on leave with AT&T Labs Research, San Francisco, he also taught classes as a Visiting Professor at UC Berkeley. He received his B.Sc. degree in Engineering and Applied Science from California Institute of Technology, Pasadena and his M.Sc. and Ph.D. degree in Computer Science from the University of Southern California, Los Angeles.Speech Title: Graph Embedding from Theory to Applications
Abstract: Graph embedding refers to the problem of projecting the elements in a graph, including nodes, edges, substructures, or the whole graph, to a low-dimensional space while preserving the graph's structural information. Graph embedding is an essential technique for analyzing various types of large-scale networks such as social networks, traffic networks, semantic networks, etc. To cope with the growing scale and diversifying structure of modern networks, researchers have proposed novel methods for graph embedding for feature engineering. In this talk, we present the recent advances and future directions in the theoretical development graph embedding and introduce some common applications for social network analysis, such as node classification, link prediction, community detection, and social recommendation.
YEN-NUN HUANG, IEEE Fellow
Prof. Dr., Academia Sinica, Taiwan
Dr. Huang received his PhD in Computer Science from University of Maryland. He Joined AT&T Bell Labs in 1989. His work on Software Implemented Fault Tolerance (SwiFT) tools was applied to tens of telecommunication systems in AT&T and was named one of the ten major technology breakthroughs in Bell Laboratories in 1992. Because of the SwiFT work, Dr. Huang was a recipient of Lucent Commemorating Stock Certificate and Computerworld Smithsonian Award in 1998 on the SwiFT technology. He became a Distinguished Member of Technical Staff of Bell Labs in 1996. He started the Dependable Computing Research Department in AT&T in 1999 and was the department head of the organization to ensure the high dependability of all AT&T services. Dr. Huang became the VP of Engineering of PreCache Inc, a Sony subsidiary, in 2001 to create a multi-media content delivery platform. In late 2004, Dr. Huang returned to AT&T and became the Executive Director of Dependable Distributed Computing and Communication Research Department to lead AT&T Digital Content Management and IPTV research programs. In 2007, Dr. Huang became the Executive Vice President of Institute for Information Industry, a government funded R&D organization with more than 1800 employees. From 2008 to 2011, Dr. Huang was the President of VeeTIME Co. to build quadruple-play telecom services including cable TV, FTTx, NGN and 4G Wimax using an all-IP network in central and south Taiwan. With his leadership in R&D and in management, VeeTIME service availability was improved from 95% to 99.96% in a year. Dr. Huang has more than 20 US patents awarded and more than 100 papers published in well-known journals and conferences. His 1995 Software rejuvenation paper created software fault avoidance and prevention research area and was awarded Jean-Claude Laprie Award in 2019. Dr. Huang was the Deputy Executive Secretary of Science and Technology Advisory Group of Executive Yuan, helping Premier of Executive Yuan in Taiwan on the Information and Communication Technology (ICT) development policy and funding allocation between 2010 and 2015. Dr. Huang is an IEEE Fellow.
Speech Title: AIoT Security and Privacy Challenges and Opportunities
Abstract: Recent development in AI, IoT and 5G technologies have made many innovative and intelligent services. These services will bring big changes in how we live and how we work. However, the technologies also create a lot of issues in data security and privacy. In this talk, I will describe some AIoT applications and services and then overview some security and privacy research challenges in AI, IoT and 5G applications and services. I will then describe some research work in Research Center for Information and Technology Innovation (CITI) of Academia Sinica to deal with the security and privacy issues of AIoT applications and services.
Prof. Dr. Kamal Zuhairi Zamli, Universiti Malaysia Pahang, Malaysia
DEAN OF THE FACULTY OF COMPUTER SYSTEMS & SOFTWARE ENGINEERING (FSKKP)
Kamal Z. Zamli is the professor in the Faculty of Computer Systems and Software Engineering, Universiti Malaysia Pahang. His research interests are Search based Software Engineering, Combinatorial t-way Testing, Computational Intelligence and Artificial Intelligence.
Speech Title: On Addressing Team Formation Problem using Multi-Objective Meta-Heuristic Optimization
Abstract: The rapid advancement of IR4.0 has significantly transformed the way we work. Taking advantage of this advancement, organization and businesses are keen to promote this so-called new business model. Grab may be the largest taxi company in the world but without a single taxi. On the same note, Ali Baba may be the world's largest mall but without business premises. Subscribing to these ideas, most organization tries to remain lean but with more businesses, that is, by extensively exploiting IR4.0 related technology. Rather than hiring the required expert workers permanently (and putting them on the company’s monthly payload), most organizations favor outsourcing their work elsewhere to other pools of available experts across the globe. The challenge here is how to form a team for a particular task when there are millions of experts worldwide. Often, the selection of these experts can be painstakingly difficult as they may be cross-organizational as well as geographically distributed and with different costs and requirements. This talk will discuss main idea behind the team formation problem including the multi-objective consideration for building effective teams of experts using multi-objective meta-heuristic algorithms.
Prof. Mag. Dr, FH JOANNEUM University of Applied Sciences, Austria
Vitaliy Mezhuyev received a specialist degree in informatics from Berdyansk State Pedagogical University (BSPU), Ukraine, in 1997. In 2002, he received a PhD in Educational Technology from Kyiv National Pedagogical University and, in 2012, an ScD (habilitation) in Information Technology from Odessa National Technical University, Ukraine. From 2004 until 2014, he was a Head of the Department of Informatics and Software Engineering at BSPU, Ukraine. From 2014 until 2019 he was a Professor at Faculty of Computer Systems and Software Engineering in University Malaysia Pahang, Head of the Software Engineering Research Group. Now he is a Professor at the Institute of Industrial Management in FH JOANNEUM University of Applied Sciences, Austria. During his career, Vitaliy Mezhuyev participated in the multiple international scientific and industrial projects, devoted to the formal modelling, design, and development of advanced software systems as a network-centric real-time operating system; IDEs for the automation of development of parallel real-time applications; tools for specification, verification and validation of software products; visual environment for metamaterials modelling and others. His current research interests include formal methods, metamodeling, safety modelling and verification of software systems, IoT, and the design of cyber-physical systems.
Introduction to Formal Methods
Safety of software becomes one of the most important issues nowadays.
This tutorial introduces formal methods, which allow significantly increase the reliability and robustness of software systems.
Formal Methods will be introduced in Z, TLA, and UPPAAL notations and illustrated by using appropriate techniques and tools .
The tutorial also presents important properties of modern software systems as real-time, concurrency, liveness, and fairness.