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.
Last updated Feb. 19, 2016