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

Co-located workshop

Before the main conference, on 16th of September 2014, the following workshop is organized. Please check its websites below for further details:

- Theory Day in Computer Science (DACS 2014)

Also, there will also be a free tutorial by Jin-Song Dong: Pervasive Model Checking.