Phan Cong Vinh Email & Phone Number

This journal is a place for highly original ideas about how Context-Awareness (CA) is going to shape computing and communication of the future. Hence, it focuses on rigorous approaches and cutting-edge solutions which break new ground in dealing with the properties of CA. Its purpose is to make a formal basis more accessible to researchers, scientists, professionals and students as well as developers and practitioners in computer science by providing them with state-of-the-art research results and future opportunities and trends. The feature scope of topics includes all aspects of CA in both computing and communication.--For more details, see http://eai.eu/transaction/context-aware-systems-and-applications

As a General Chair, I am organizing the 1st International Conference on NaTure of Computation and Communication (ICTCC 2014) that will be held on 24-25 November 2014 in Ho Chi Minh City, Vietnam.See the official website for ICTCC 2014 at the link http://ictcc.org/2014 for further details.

Iaria

The journal is dedicated to specific topics related to automation, static and mobile agents, decision systems, special computational paradigms, advances in computer-human interaction, human-oriented modeling, and human-centric service and applications.Special issues can focus on particular aspects related to autonomic components and systems, advanced correlation algorithms, applications of artificial intelligence, adaptive and interactive interfaces, ubiquitous services, anticipative systems, unmanned systems, robotics, processing of distributed geospatial data, or context-oriented information retrieval and processing.

I am currently a guest-editor for the special issue, titled "Advances in Autonomic Computing: Formal and Practical Aspects of Context-Aware Systems" of Springer Transactions on Computational Science (TCS), to appear in Spring 2013

Inderscience Publishers

I am a guest-editor for special issue of The International Journal of Computational Science and Engineering (IJCSE) published by Inderscience. Selected authors from ICCASA 2012 (http://iccasa.org) will be invited to elaborate on their research topic and submit the results to the journal.

I am a guest-editor for the special issue on "Context-Awareness (CA) of Mobile Systems: Models, Algorithms and Applications" of the ACM/Springer Mobile Networks and Applications (MONET) Journal (SCI-E), which is a place for highly original ideas about how CA is going to shape mobile networks of the future. Hence, it focuses on rigorous approaches and cutting-edge solutions which break new ground in dealing with the properties of CA. Its purpose is to make a formal basis more accessible to researchers, scientists, professionals and students as well as developers and practitioners in computer science by providing them with state-of-the-art research results and future opportunities and trends.

I take on the responsibilities of Head of Institute for Advanced Computing Technology and Head of IT Department as well.

Phu Quoc, Vietnam

As a General Chair, I am organizing the 2nd International Conference on Context-Aware Systems and Applications (ICCASA 2013) that will be held on 25-26 November 2013 in Phu Quoc, Vietnam.See the official website for ICCASA 2013 at the link http://iccasa.org/2013 for further details.

Ho Chi Minh City, Vietnam

As a General Chair, I successfully organized the 2012 International Conference on Context-Aware Systems and Applications (ICCASA) that was held on 26-27 November 2012 in Ho Chi Minh City, Vietnam.See the official website for ICCASA 2012 at the link http://iccasa.org/2012 for further details.

I was a guest-editor for the special issue, titled "Advances in Autonomic Computing: Formal Engineering Methods for Nature-Inspired Computing Systems" of Springer Transactions on Computational Science (TCS).This special issue appeared as the TCS XV, LNCS 7050 by Springer.

I was an editor for my edited book, entitled "Autonomic Networking-on-Chip: Bio-inspired Specification, Development, and Verification", which is among the first books to evaluate research results on formalizing this emerging NoC paradigm, which was inspired by the human nervous system.The FIRST Book to Assess Research Results, Opportunities, & Trends in "BioChipNets" is an advanced technical guide and reference composed of contributions from prominent researchers in industry and academia around the world. A response to the critical need for a global information exchange and dialogue, it is written for engineers, scientists, practitioners, and other researchers who have a basic understanding of NoC and are now ready to learn how to specify, develop, and verify ANoC using rigorous approaches.Offers Expert Insights Into Technical Topics Including: Bio-inspired NoC How to map applications onto ANoC ANoC for FPGAs and structured ASICs Methods to apply formal methods in ANoC development Ways to formalize languages that enable ANoC Methods to validate and verify techniques for ANoC Use of "self-" processes in ANoC (self-organization, configuration, healing, optimization, protection, etc.) Use of calculi for reasoning about context awareness and programming models in ANoCWith illustrative figures to simplify contents and enhance understanding, this resource contains original, peer-reviewed chapters reporting on new developments and opportunities, emerging trends, and open research problems of interest to both the autonomic computing and network-on-chip communities. Coverage includes state-of-the-art ANoC architectures, protocols, technologies, and applications. This volume thoroughly explores the theory behind ANoC to illustrate strategies that enable readers to use formal ANoC methods yet still make sound judgments and allow for reasonable justifications in practice.

I was an editor for my edited book, titled "Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development, and Verification".Autonomic computing and networking (ACN), a concept inspired by the human autonomic system, is a priority research area and a booming new paradigm in the field.Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development, and Verification outlines the characteristics, novel approaches of specification, refinement, programming and verification associated with ACN. The goal of ACN and the topics covered in this work include making networks and computers more self-organized, self- configured, self-healing, self-optimizing, self-protecting, and more. This book helpfully details the steps necessary towards realizing computer and network autonomy and its implications.

I was a member of Scientific Committee

I was a member of Scientific Committee

I was a lecturer in Computing

Research areas include Formal Methods and Formal Aspects of emergent Computing and Networking

I taught the courses in Maths and Computer Science

I was a Fellow at International Institute for Software Technology of the United Nations University (UNU/IIST) at Macao SAR in China supported by a scholarship award from UNU/IIST. Technical Report213, entitled "Protocol-Based Cooperation in a Virtual ManufacturingOrganization", was finished in this research period.

I was a Fellow at Bell Northern Research (BNR), Nortel, Toronto-Canada to participate the training courses in “Advanced Technologies-Education and Training” held from 14 March-30 June 1994 and supported by Nortel.

I was a Fellow at Beijing University of Posts and Telecommunications (BUPT) in China in the RAS/86/165 Intercountry Project, entitled “Telecommunications Computer Software Development and Training”, granted by International Telecommunication Union (ITU) held from 11 September – 06 December 1991.