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.
6th IFIP International Conference on Theoretical Computer Science
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.