View call for paper

Visit the conference website

What's the conference about?

TCS 2010 will be composed of two distinct but interrelated tracks:
Track A on Algorithms, Complexity and Models of Computation, and
Track B on Logic, Semantics, Specification and Verification.