13th ICTAC

International Colloquium on Theoretical Aspects of Computing

Paranormic Taipei View

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

Conference and Tutorial: 24-28 Oct. 2016

Fall School: 29-31 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 three distinguished researchers.

f1 Professor Hsu-Chun Yen f2 Dr. Leonardo de Moura f3 Professor Heike Wehrheim f4
Professor Hsu-Chun Yen Dr. Leonardo de Moura Professor Heike Wehrheim
National Taiwan University Microsoft Paderborn University

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


Last updated Feb. 19, 2016