The 7th IFIP Conference on Theoretical Computer Science 2012
September 26 - 28, Amsterdam, The Netherlands
===== General Info =====
The conference Theoretical Computer Science, which is held every two
years, either in conjunction or in the framework of the IFIP World
Computing Congress, is the meeting place of the TC1 community where
new results of computation theory are presented and more broadly experts
in theoretical computer science meet to share insights and ask questions
about the future directions of the field.
TCS Website: http://tcs.project.cwi.nl
TCS 2012 is associated with The Alan Turing Year 2012
Previous conferences of this series were held in Sendai (2000), Montreal
(2002), Toulouse (2004), Santiago (2006), Milano (2008), Brisbane (2010).
===== Venue =====
TCS 2012 will be held at the Centrum Wiskunde & Informatica (CWI),
Amsterdam (http://www.cwi.nl), The Netherlands.
===== Scope and Topics =====
Algorithms, Complexity and Models of Computation, Logic, Semantics,
Specification and Verification.
===== Invited Speakers =====
===== Proceedings =====
Accepted papers will be published in the Lecture Notes of Computer
===== Important Dates =====
Paper submission: May 1
Notification: June 25
Camera ready version: July 16
TCS Conference: September 26-28
===== Organisation =====
Jos Baeten (http://www.cwi.nl/people/630)