http://icacci-conference.org/website/TCGC2014 

Theory of computing is a critical component of the discipline of computer science to understand the nature of computation and to design and analyze algorithms for important and fundamental problems. Global computing is a distributed computing approach for computing with a large collection of heterogeneous computers which are essentially scattered over the world and sharing various kinds of resources. This computing paradigm has already been proven useful for several problems which are beyond the capabilities of conventional systems. There are also great challenges and opportunities since so many basic problems remain unsolved. The International Symposium on Advances in Theory of Computing and Global Computing Models (TCGC-2014) will bring together practitioners and researchers from academia, industry and government to present research and to exchange ideas and experience addressing challenges in theoretical aspects of computing, and global computing models. TCGC-2014 is affiliated with Third International Conference on Advances in Computing, Communications and Informatics (ICACCI-2014). 

TCGC-2014 invites original and unpublished work from individuals active in the broad theme of the symposium. Authors should submit their papers online using EDAS. Unregistered authors should first create an account on EDAS to log on. Further guidelines for submission are posted at: http://icacci-conference.org/website/call-papers

Topics of interest include but not limited to:

Theory of Computing

• Algorithmic Coding Theory
• Algorithmic Game Theory
• Algorithmic Graph Theory and Combinatorics
• Algorithms and Data Structures
• Approximation Algorithms
• Automata Theory and other Formal Models
• Computational Biology
• Computational Complexity Theory
• Computational Geometry
• Computational Learning Theory
• Cryptography
• Data Structures and Algorithms
• Economics and Computation
• Exponential Algorithms
• External-Memory Algorithms
• Finite Model Theory
• Formal Languages
• Logic and Type Systems
• Machine Learning
• Online Algorithms
• Optimization
• Parameterized Algorithms
• Program Derivation, Analysis and Verification
• Proof Complexity
• Quantum Computing
• Randomized Methods, Random Graphs and Threshold Phenomena
• Theory of Programming Languages

Global Computing Models

• Context Awareness and Security in Distributed Environment
• Coordination and Orchestration Languages
• Dynamic Components Management
• Formal Verification in Global Computing
• Interactive Programming Languages
• Membrane Computing
• Metadata Modeling
• Mobility and Computation in Networks with Dynamic Topology
• Models of Interaction and Dynamic Components Management
• Privacy and Reliability
• Process Algebra and Calculi
• Resource Usage and Information Flow Policies
• Security through Verifiable Evidence
• Self-Configuration
• Service-oriented Architectures: Models and Development Methods
• Software Principles and Tools to Support Debugging and Verification
• Trust, Access Control and Security Enforcement Mechanisms
• Theory of Grid and Cloud Computing

All papers that conform to submission guidelines will be peer reviewed and evaluated based on originality, technical and/or research content/depth, correctness, relevance to conference, contributions, and readability. The manuscripts should be submitted in PDF format. Acceptance of papers will be communicated to authors by email. At least one full paying author of each accepted paper must register for the Conference before the indicated deadline. The accepted and presented papers will be published in the conference proceedings and submitted to IEEE Xplore as well as other Abstracting and Indexing (A&I) databases. Independently of the presentation type, all papers are included in the proceedings.​.

Technical Program Committee

Key Dates

Contact Us

Email: icacci2014@gmail.com