Conference Information
ICTAC 2017 : International Colloquium on Theoretical Aspects of Computing
Submission Date:
2017-04-22 Extended
Notification Date:
Conference Date:
Hanoi, Vietnam
CCF: c   QUALIS: b3   Viewed: 6812   Tracked: 8   Attend: 1

Conference Location
Call For Papers
ICTAC 2017 will be held in the Department of Software Engineering, University of Engineering and Technology, Vietnam National University (VNU-UET), Hanoi, Vietnam, during 23–27 October, 2017.

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.


ICTAC 2017 will have a technical program for five days including two days for tutorials and three days for a conference.

Topics of interest include theories of computation and programming, foundations of software engineering and formal techniques in software design and verification, as well as tools that support formal techniques for system modeling, design and verification.

The topical areas of the conference include, but are not limited to

* 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.


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.

Submissions should adhere to the LNCS format (see for details). Regular papers should not exceed 18 pages. Short and tool papers should not exceed 10 pages.

The proceedings will be published by Springer in the Lecture Notes in Computer Science series ( by Springer-Verlag.

Last updated by Dou Sun in 2017-04-16
Related Publications
Acceptance Ratio
Related Conferences
CCFCOREQUALISShortFull NameSubmissionNotificationConference
bb1ISITInternational Symposium on Information Theory2018-01-122018-03-312018-06-17
ICSECAInternational Conference on Systems Engineering and Computational Advances2015-04-10 2015-05-08
cb3UBICOMMInternational Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies 2013-06-172013-09-29
cb2ISPDCInternational Symposium on Parallel and Distributed Computing2018-01-292018-03-202018-06-25
bb1I-SPANInternational Symposium on Pervasive Systems, Algorithms, and Networks2017-03-312017-04-222017-06-21
bb1SOFSEMInternational Conference on Current Trends in Theory and Practice of Computer Science2015-07-132015-09-242016-01-23
ITC'International Teletraffic Congress2017-04-052017-05-142017-09-04
ICACARInternational Conference on Advanced Control, Automation and Robotics2017-10-102017-10-232018-02-23
ICFSPInternational Conference on Frontiers of Signal Processing2017-04-25 2017-09-06
3DVInternational Conference on 3D Vision2015-06-072015-08-152015-10-19