Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

24-31 October 2016, 13th International Colloquium on Theoretical Aspects of Computing (ICTAC 2016), Taipei, Taiwan

Date: 24-31 October 2016
Location: Taipei, Taiwan
Deadline: 16 May 2016

Established in 2004, 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.

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.

For more information, see http://cc.ee.ntu.edu.tw/~ictac2016

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.
Final paper submission deadline: 16 May, 2016.

Please note that this newsitem has been archived, and may contain outdated information or links.