ICTAC'15: Summer School and Conference in Colombia
Submitted by M. Leucker on Thu, 2015-03-12 11:29
The 12th International Colloquium on Theoretical Aspects of Computing (ICTAC 2015) will take place in Cali (Colombia), on October 29-31, 2015. It will be organized at the Pontificia Universidad Javeriana Cali.
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.
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.
See http://www.ictac2015.co for further details.
