Organizers of ICTAC 2017 sincerely thank all authors for submitting their prestigious papers to the conference. We are happy to annouce the list of ACCEPTED PAPERS for ICTAC 2017.

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.