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

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.

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

f1 Professor Heike Wehrheim f2 Dr. Wen-Lian Hsu f3
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.


Last updated Feb. 19, 2016