Keynote Speakers

Keynote Speaker I

Prof. Herwig Unger,
University of Hagen, Germany

Prof. Dr.-Ing. habil. Herwig Unger got his PhD with a work on Petri Net transformation in 1994 from the Technical University of Ilmenau and his habilitation with a work on large distributed systems from the University of Rostock in 2000. Since 2006, he is a full professor at the FernUniversit?t in Hagen and the head of the Chair of Communication Networks. His research interests are in self-organization, adaptive and learning systems, Internet algorithms and simulation systems.


Speech Title: The future of Internet Search

Abstract: The use of giant search engines with their -- although not covering even half of the WWW -- giant databases as offered by Google or Microsoft (Bing) is currently the only possibility to find content in the Internet. This is because today's webpages are usually neither stored nor linked with any relation to the information (keywords) contained or any (hierarchical) ontologies applicable. Apart from the many deficiencies these huge data collections have due to their very nature, the representation of search results in form of simple text lists is an anachronism disregarding the technical possibilities available, but also user requirements or operation modes of classical librarians.
After analysing the current situation in its first part, this talk will present existing remedies for the above mentioned problems, methods under development in research institutions, and emerging ideas for the organisation of next-generation networks.
First, approaches based on locally working agents will be considered, which may access and analyse a plentitude of personal data and behavioural patterns of users without divulging them to external spying organisations. Furthermore, these approaches allow for flexible, user- and session-oriented (search process) presentation of results as well as for processing user feedback.
In the future, more powerful search engines will be based on decentralised platforms in connection with intelligent and adaptive structures for linking documents. Using the approach of the "WebLibrarian", which is just being implemented by the author, examples for the algorithms and methods needed will be provided, and it will be shown that only a (local) combination of information about user, network and content may lead to the desired results.
Finally, it will be worked out that brain-like structures as well as methods derived from natural analoga will open the way to future progress in Internet data organisation and retrieval.

 

 

Keynote Speaker II

Prof. Masahiro Fujita,
The University of Tokyo, Japan

Masahiro Fujita received his Ph.D. in Information Engineering from the University of Tokyo in 1985 on his work on model checking of hardware designs by using logic programming languages. In 1985, he joined Fujitsu as a researcher and started to work on hardware automatic synthesis as well as formal verification methods and tools, including enhancements of BDD/SATbased techniques. From 1993 to 2000, he was director at Fujitsu Laboratories of America and headed a hardware formal verification group developing a formal verifier for real-life designs having more than several million gates. The developed tool has been used in production internally at Fujitsu and externally as well. Since March 2000, he has been a professor at VLSI Design and Education Center of the University of Tokyo. He has done innovative work in the areas of hardware verification, synthesis, testing, and software verification-mostly targeting embedded software and web-based programs. He has been involved in a Japanese governmental research project for dependable system designs and has developed a formal verifier for C programs that could be used for both hardware and embedded software designs. The tool is now under evaluation jointly with industry under governmental support. He has authored and co-authored 10 books, and has more than 200 publications. He has been involved as program and steering committee member in many prestigious conferences on CAD, VLSI designs, software engineering, and more. His current research interests include synthesis and verification in SoC (System on Chip), hardware/software co-designs targeting embedded systems, digital/analog co-designs, and formal analysis, verification, and synthesis of web-based programs and embedded programs.


Speech Title: Template based synthesis for high performance computing

Abstract: Although FPGA based implementation of software can give us not only higher performance but also energy efficient computing, efficient implementation algorithms as hardware and as software can be significantly different. Typical high-level synthesis methods may not concentrate on this issue, as they are targeting general hardware designs. In this paper performance directed synthesis targeting throughput based computations rather than transitional high-level synthesis techniques is proposed based on ”template based” approaches. With templates, given data flow graphs are automatically converted into the ones for high performance with FPGA implementation by using SAT based automatic refinement methods. Several experimental case studies with the proposed synthesis methods are presented in order to demonstrate the usefulness of the proposed approach.

 

 

Keynote Speaker III

Prof. Jalel Ben-Othman,
University of Paris 13, France

Prof. Ben-Othman received his B.Sc. and M.Sc. degrees both in Computer Science from the University of Pierre et Marie Curie, (Paris 6) France in 1992, and 1994 respectively. He received his PhD degree from the University of Versailles, France, in 1998. He was an Assistant Professor at the University of Orsay (Paris 11) and University of Pierre et Marie Curie (Paris 6), in 1998 and 1999 respectively. He was an Associate Professor at the University of Versailles from 2000 to 2011. He is currently full professor at the University of Paris 13 since 2011. Dr. Ben-Othman's research interests are in the area of wireless ad hoc and sensor networks, VANETs, IoT, performance evaluation and security in wireless networks in general. He was the recipient of several best papers award (IWCMC'16, EUSPN'14, ICC'11 AHSM, ICCIT'11), the recipient of the IEEE comsoc Communication Software technical committee Recognition Award in 2016, the IEEE computer society Meritorious Service Award in 2016, and he is a Golden Core Member of IEEE Computer Society. He is currently in steering committee of IEEE Transaction on Mobile computing (IEEE TMC), an editorial board member of IEEE communications letters (IEEE COMML), IEEE comsoc Journal of Communications and Networks (JCN) and International Journal On Advances in Networks and Services IJANS. He is also an Associate Editor of Wiley International Journal of Communication Systems (wiley IJCS). He has served as general chair of the international conference on wireless networks and mobile communications (WINCOM'15), program chair of IEEE New technologies mobility and security (NTMS'15). He has also served as TPC Co-Chair for IEEE Globecom and ICC conferences for Ad hoc and Sensor Networking, wireless network and wireless communication symposiums (ICC'17, GC'16, ICC'16, GC'14, ICC'14, ICC'12, GC'11, GC'10 ), since 2011 for International Wireless Communications and Mobile Computing Conference (IWCMC) and other conferences and workshops (VTC'14, ComComAp'13, ICNC'12, WCSP'12, Q2SWinet'12, P2MNET'11, WLN'10, WLN'09....). He is the chair of the IEEE Ad Hoc and sensor networks technical committee since January 2016, he was previously the vice chair and secretary for this committee. He has been appointed as IEEE comsoc distinguished lecturer since 2015 where he did several tours all around the world. He is member of IEEE technical services board since 2016.

Speech Title: New direction to evaluate or modelize MAC layer in Wireless networks based on Stochastic approaches

Abstract: Wireless and mobile networks have many advantages as easy deployment, user mobility and provides network access to users regardless to their locations. The most critical issues that arise in those networks are on the resource allocations as the bandwidth is limited, the propagation (multi-path, fading, distortion) and security since communications are transmitted over radio waves. In this seminar I will present several works done to model/Improve Quality of Service in Wireless networks. Three different methods will be presented in this lecture. In the first part a new model based on Markov chains is presented to model the different service classes defined in IEEE 802.16. The second part I will present a new AC that we have defined for IEEE 802.16 and we have evaluated using Stochastic Automata Networks. Finally I will present a stochastic model that for admission control in wireless networks using IEEE 802.11 standard.

 

Keynote Speaker IV

Prof. Gang Feng,
UESTC, China

Dr. Gang Feng (M'01, SM'06) received his BEng. and MEng degrees in Electronic Engineering from the University of Electronic Science and Technology of China (UESTC), in 1986 and 1989, respectively, and the Ph.D. degrees in Information Engineering from The Chinese University of Hong Kong in 1998. He joined the School of Electric and Electronic Engineering, Nanyang Technological University in December 2000 as an assistant professor and was promoted as an associate professor in October 2005. At present he is a professor with the National Laboratory of Communications, University of Electronic Science and Technology of China. Dr. Feng has extensive research experience and has published widely in computer networking and wireless networking research. His research interests include resource management in wireless networks, wireless network coding, sensor networks, etc. Dr. Feng is a senor member of IEEE..


Speech Title: AI Enabled Access Control and Handoff Policy for Wireless Networks

Abstract: The next-generation cellular network (5G) is assumed to be the key enabler and infrastructure provider in the ICT era, by catering diverse services including enhanced mobile broadband (eMBB) with bandwidth-consuming and throughput-driving requirements, new services like ultra-reliable low latency service (URLLC) and massive machine-type communications (mMTC).The ever-increasingly complicated configuration issues and blossoming new service requirements will pose great challenges to 5G and beyond. Recent breakthroughs in artificial intelligence (AI) and machine learning (ML), and the availability of powerful computing platforms provide us with technologies to address these challenges by performing tasks once seemed impossible. Therefore, we expect that AI can provide many new and unprecedented opportunities in designing network architectures, optimizing network operations, and managing different user services and content, etc. In this talk, I will first introduce some fundamental concepts in AI and discuss the opportunities and challenges to exploit AI in wireless networks. Specifically, I will elaborate AI based intelligent access control and handoff policy in 5G networks. Case studies with numerical results will be provided to demonstrate the effectiveness and advantages of AI based technologies for improving network performance with reasonable signaling overhead in future wireless networks

 

 

 

Invited Speaker I

Prof. Olga N. Korableva,
ITMO University, Russia

The profile will be online soon,