11th International Colloquium on Theoretical Aspects of Computing
17-19 September 2014, Bucharest, Romania

Welcome to ICTAC 2014


07.10.2014: The program was updated with the slides of the talks and photos were posted here.
09.09.2014: The conference proceedings will be available online during the conference at SpringerLink: LNCS 8687 / 2014 “Theoretical Aspects of Computing – ICTAC 2014".
01.09.2014: Please register to the free tutorial on 16th of September 2014.
12.07.2014: Details on the venue are now available online.
15.06.2014: The details for the registration are posted online.
10.06.2014: Solomon Marcus will be a special guest on 17th of September.

ICTAC 2014 is the 11th International Colloquium on Theoretical Aspects of Computing aiming to bring 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. The other main purpose is to promote cooperation in research and education between participants and their institutions, from developing and industrial countries.
In 2014, ICTAC colloquium will be held in Romania, a nice place to visit, which also has a strong research community in theoretical computer science.

ICTAC 2014 will be held in Bucharest during 17-19 September 2014, followed by SYNASC 2014 in Timisoara (Romania) between 22-25 September 2014.

Important Dates

abstract: 30 March 2014
submission: 6 April 2014
notification: 31 May 2014
camera-ready: 14 June 2014
early registration: 4 July 2014
conference: 17-19 Sept 2014