posted by user: nicopao || 8808 views || tracked by 27 users: [display]

ICTAC 2013 : 10th International Colloquium on Theoretical Aspects of Computing

FacebookTwitterLinkedInGoogle


Conference Series : International Colloquium on Theoretical Aspects of Computing
 
Link: http://ictac2013.ecnu.edu.cn/
 
When Sep 4, 2013 - Sep 6, 2013
Where Shanghai, China
Submission Deadline Mar 8, 2013
Notification Due Apr 26, 2013
Final Version Due May 17, 2013
Categories    theoretical computer science   computer science   software engineering
 

Call For Papers

ICTAC 2013 is the 10th International Colloquium on Theoretical Aspects of Computing, the latest in a series founded by the International Institute for Software Technology of the United Nations University (UNU-IIST). ICTAC 2013 will bring together practitioners and researchers from academia, industry and government to present research and to exchange ideas and experience addressing challenges in both theoretical aspects of computing and in the exploitation of theory through methods and tools for system development. The other main purpose is to promote cooperation in research and education between participants and their institutions, from developing and industrial countries, as in the mandate of the United Nations University.

Themes and Topics of Papers
ICTAC 2013 calls for regular research papers on theories of computation and programming, foundations of software engineering, and on formal techniques in software design and verification; short papers on recent work or proposals of challenges in new programming paradigms such as Cyber-Physical Systems, Cloud Computing and Social Networks; and papers about tools that support formal techniques for software modeling, system design and verification.

The topical areas of the conference include, but not limited to
Automata theory and formal languages;
Principles and semantics of programming languages;
Theories of concurrency, mobility and reconfiguration;
Logics and their applications;
Software architectures and their models, refinement and verification;
Relationship between software requirements, models and code;
Program static and dynamic analysis and verification;
Software specification, refinement, verification and testing;
Model checking and theorem proving;
Models of object and component systems;
Coordination and feature interaction;
Integration of theories, formal methods and tools for engineering computing systems;
Service-oriented architectures: models and development methods;
Models of concurrency, security, and mobility;
Theory of distributed, grid and cloud computing;
Real-time, embedded, hybrid and cyber-physical systems;
Type and category theory in computer science;
Models for learning and education;
Case studies, theories, tools and experiments of verified systems;
Domain-specific modeling and technology: examples, frameworks and experience.
Challenges and foundations in the environmental modeling and monitoring, healthcare, and disaster management.

Related Resources

ICTAC 2024   International Colloquium on Theoretical Aspects of Computing
ACM-Ei/Scopus-CCISS 2024   2024 International Conference on Computing, Information Science and System (CCISS 2024)
TASE 2024   18th Theoretical Aspects of Software Engineering Conference
MLANN 2024   2024 2nd Asia Conference on Machine Learning, Algorithms and Neural Networks (MLANN 2024)
STACS 2024   Symposium on Theoretical Aspects of Computer Science
ACM ICMLT 2024   ACM--2024 9th International Conference on Machine Learning Technologies (ICMLT 2024)
CCVPR 2024   2024 International Joint Conference on Computer Vision and Pattern Recognition (CCVPR 2024)
CTISC 2024   2024 6th International Conference on Advances in Computer Technology, Information Science and Communications (CTISC 2024) -EI Compendex
ICBICC 2024   2024 International Conference on Big Data, IoT, and Cloud Computing (ICBICC 2024)
ACM ICCTA 2024   ACM--2024 10th International Conference on Computer Technology Applications (ICCTA 2024)