Description
6th IFIP International Conference on Theoretical Computer Science - in conjunction with WCC 2010.
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.
Registration is for WCC 2010