13th ICTAC

International Colloquium on Theoretical Aspects of Computing

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

Conference and Tutorial: 24-28 Oct. 2016

Fall School: 28-30 Oct. 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 develo

ping and industrial countries.

ICTAC 2015 will feature keynote speeches by the following four distinguished researchers.


	Professor Hsu-Chun Yen		Dr. Leonardo de Moura
	National Taiwan University		Microsoft Research


	Prof. Dr. Heike Wehrheim		Dr. Wen-Lian Hsu
	Paderborn University		Academia Sinica

In addition, there will be tutorials, regular paper sessions, a summer school, a reception, a banquet, a business meeting, and an excursion.

News

(Oct. 18, 2016) Thanks to Springer, online access to the proceedings is now available at http://link.springer.com/book/10.1007/978-3-319-46750-4
(July 28, 2016) Preliminary program is ready!
(July 27, 2016) Registration page is ready! Each accepted paper must have a distinct registrant!
(May 5, 2016) Submission deadline extended to May 16, 2016.
(Apr. 15, 2016) Submission deadlines changed to May 9, 2016.
(Feb. 22, 2016) The paper submission webpage at EasyChair NOW.
(Feb. 18, 2016) The Program Committee was announced.
(Feb. 13, 2016) Springer has agreed to publish the proceedings of ICTAC 2016 in LNCS (Lecture Notes in Computer Science) .
(Feb. 3, 2016) Microsoft Research approved to sponsor ICTAC 2016.

Last updated Feb. 19, 2016