TCS 2014 - 8th International IFIP Conference on Theoretical Computer Science (IFIP-TCS)

Accepted papers were published in the Lecture Notes of Computer Science series.
Scope and Topics
The scope of this conference included but was not limited to:
Algorithms
Complexity
Models of Computation
Logic
Semantics
Specification
Verification