14th International Colloquium on Theoretical Aspects of Computing
When : 2017-10-23
Where : Hanoi, Vietnam
Submission Deadline : 2017-04-12
Categories : Computer Science & Information Technology , Smart Grid
14th International Colloquium on Theoretical Aspects of Computing(ICTAC 2017)
23-27 October 2017, Hanoi, Vietnam
Call for Papers:
Established in 2004 by the International Institute for Software Technology of the United Nations University (UNU-IIST), the ICTAC conference series aims at bringing 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. ICTAC also aims to promote cooperation in research and education between participants and their institutions, from developing and industrial countries. The proceedings of the ICTAC conference series are published by Springer in the LNCS series.
Topics of Interest:
* Automata theory and formal languages;
* Principles and semantics of programming languages;
* Theories of concurrency, mobility and reconfiguration;
* Theory of distributed, grid and cloud computing;
* Software architectures and their models, refinement and verification;
* Models of concurrency, security, and mobility;
* Real-time, embedded, hybrid and cyber-physical systems;
* Program static and dynamic analysis and verification;
* Software specification, refinement, verification and testing;
* Logics and their applications;
* Automated and Interactive Theorem Proving; SAT and SMT solving;
* Model checking;
* Coordination and feature interaction;
* Service-oriented architectures: models and development methods;
* Domain-specific modeling and technology: examples, frameworks and experience.
* Case studies, theories, tools and experiments of verified systems.
SUBMISSION AND PUBLICATION
We call for submissions, related to the above areas and topics, according to the following three categories:
* Regular papers, with original research contributions;
* Short papers, on recent work or proposals of emerging challenges;
* Tool papers, on tools that support formal techniques for software
Submissions to the conference must not have been published or be concurrently considered for publication elsewhere. All submissions will be judged on the basis of originality, contribution to the field, technical and presentation quality, and relevance to the workshop.
Important Dates:
- April 12, 2017: Paper submission deadline
- June 8, 2017: Paper acceptance/rejection notification
- July 12, 2017: Camera-ready copy deadline