13th ICTAC

International Colloquium on Theoretical Aspects of Computing

Paranormic Taipei View

24-30 Oct. 2016, Taipei, Taiwan, ROC

Conference and Tutorial: 24-28 Oct. 2016

Fall School: 28-30 Oct. 2016

Call for Papers

Themes and Topics of Papers

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 software modeling, system design and verification. The topical areas of the conference include, but are not limited to

Paper Categories and Format

We call for submissions, related to the above areas and topics, according to the following three categories:

Submissions must be written in English and should adhere to the LNCS format. Regular papers should not exceed 18 pages. Short and tool papers should not exceed 10 pages.

Submissions to the colloquium 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, as well as their relevance to the conference.

Submissions not conforming to the above requirements may be rejected without further consideration.

Submission

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 modeling, system design and verification.

Submissions should adhere to the LNCS format

(see http://www.springer.de/comp/lncs/authors.html for details).

Regular papers should not exceed 18 pages. Short and tool papers should not exceed 10 pages.

 

Submissions to the colloquium 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, as well as their relevance to the conference.

 

SUBMISSION LINK http://www.easychair.org/conferences/?conf=ictac2016

 

Proceedings

As in previous editions of ICTAC, the proceedings of ICTAC 2016 will be published by Springer  in the series Lecture Notes in Computer Science (LNCS).

   

 

Important Deadlines

Best Paper Awards by Springer

Springer kindly and generous offered to sponsor two best paper awards, 500 Euros each.

 

Special Issue in TCS 

Selected papers in ICTAC 2016 proceedings will be invited, reviewed, and archived in a special edition of the prestigious Theoretical Computer Science (TCS), Elsevier.

 

Further Information

Any queries should be sent to ictac2016@ntu.edu.tw.


Last updated Oct. 19, 2015