This event is endorsed
and organized by

4th EAI International Conference on Context-Aware Systems and Applications

November 26–27, 2015 | Vung Tau, Vietnam

Special Tracks

The following special tracks will be held in conjunction with the main conference (default track):

Keynote speech 1: Autonomic Urban Traffic Controller System - A Cyber-physical Systems Approach

Prof.Vangalur Alagar at Concordia University in Canada will give a talk at ICCASA 2015 on a hot topic of Cyber-Physical Systems (CPS) with the title of "Autonomic Urban Traffic Controller System - A Cyber-physical Systems Approach"


In almost every country in the world transportation infrastructure is severely overstressed. The traditional traffic control infrastructures have become awfully inadequate to handle the modern-day vehicular traffic, which can be characterized by density of traffic, speed of vehicles, behavior of human drivers, and constraints imposed by the traffic regulation policies laid down by urban administrators. Consequently, roadway corridors regularly experience increased level of traffic congestion, not only in developed countries such as United States, Canada and Europe, but also in all developing countries. Several reports have quantified the loss of productivity and wasted fuel usage resulting from traffic congestions. According to one report, in 2013 traffic congestion in U.S.A has cost Americans $124 billion in direct and indirect losses, and this amount is estimated to rise 50% percent by 2030. Wasted fuel in traffic congestion is not only contributing to monetary loss but also a threat to health because of the steep increase in environmental pollution. Thus, congestion avoidance is an absolute necessity for improving urban traffic system more than ever. This talk will discuss methods to upgrade the current infrastructure with the introduction of Autonomic Urban Traffic Controller System(AUTCS) whose design combines context-awareness, autonomic computing, and cyber-physical systems. The primary goals of AUTCS are promoting congestion-free traffic through automatic detection of traffic flow patterns and adaptation within the framework of traffic control policies, delivering the best route for every vehicle even in the presence of emergencies caused by ambulance traffic and road repairs, and maintaining comfort and safety of vehicles. The talk will discuss the design of AUTCS, both informally and formally, introduce the framework for a simulated validation of the design, and give a snapshot of simulated results for a wide range of traffic

Short bio:

Vangalur (Vasu) Alagar is a Professor Emeritus at Concordia University, Montreal, Canada. He has done extensive research in the area of algorithms, formal methods, and software engineering. His current research interests are in the modeling, design, and formal verification of Cyber-physical Systems. He has authored two text books and edited many conference proceedings and journals.


Keynote speech 2: Toward IoT Universe

Prof.Chintan Bhatt at Charotar University of Science And Technology in India will give a talk at ICCASA 2015 on a hot topic of Internet of Things (IoT) with the title of "Toward IoT Universe"


Internet of Things (IoT) is an interconnection of exclusively identifiable embedded computing devices where all devices are made equipped with communication and data capture capabilities so that they can use the ubiquitous internet to transmit or exchange data and other controlling purposes. In short, IoT is a community of smart devices. IoT is expected to bring a huge leap in the field of global interconnectivity of networks. By studying IoT we become more proactive and less reactive. Cisco once stated “IoT is a point in time when more “things or devices” are connected to internet then people”. Here we are going to draw attention on the topics which have attracted the researchers and industrialists such as Remote Excavation, Remote Mining and so on.

Short bio:

Chintan Bhatt is currently working as an Assistant Professor in Computer Engineering department, Chandubhai S. Patel Institute of Technology, CHARUSAT. He is a member of IEEE, EAI, ACM, CSI, AIRCC (Academy & Industry Research Collaboration Center) and IAENG (International Association of Engineers). His areas of interest include Data Mining, Web Mining, Networking, Security Mobile Computing, Big Data and Software Engineering. He has more than 4 years of teaching experience and research experience, having good teaching and research interests. He has chaired a track in CSNT 2015. He has been working as Reviewer in Wireless Communications, IEEE (Impact Factor-6.524) and Internet of Things Journal, IEEE and Mobile Networks and Applications, Springer.


Keynote speech 3: Concurrency of Self-* in Autonomic Systems

Prof.Phan Cong Vinh at Nguyen Tat Thanh University in Vietnam will give a talk at ICCASA 2015 on a hot topic of autonomic computing with the title of "Concurrency of Self-* in Autonomic Systems"


New computing systems are currently at crucial point in their evolution: autonomic systems (ASs), which are inspired by the human autonomic nervous system. Autonomic computing (AC) is characterized by self-* such as selfconfiguration, self-healing, self-optimization, self-protection and more which run simultaneously in ASs. Hence, self-* is a form of concurrent processing in ASs. Taking advantage of categorical structures we establish, in this talk, a firm formal basis for specifying concurrency of self-* in ASs.

Short bio:

Phan Cong Vinh received a PhD in computer science from London South Bank  University (LSBU) in the United Kingdom. He finished his PhD dissertation with the title of “Formal Aspects of Dynamic Reconfigurability in Reconfigurable Computing Systems” at LSBU where he was affiliated with the Center for Applied Formal Methods (CAFM) at the Institute for Computing Research (ICR). At present, he is an Associate Professor of Nguyen Tat Thanh University (NTTU) to take on the responsibility of a senior research scientist. He has been author or co-author of many refereed contributions published in prestigious journals, conference proceedings or edited books. He is editor of two books titled, “Autonomic Networking-on-Chip: Bio-Inspired Specification, Development and Verification” (CRC Press, 2012) and “Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development and Verification” (IGI Global, 2011). He has served on many conference program committees and has been general or technical (co)chair and (co)organizer of several international conferences such as a series of ICCASA and ICTCC. His research interests center on all aspects of formal methods, nature of computation and communication, and applied categorical structures in computer science.