\n

The c onference Theoretical Computer Science, which is h eld\n every two years, either in conjunction or in the framework of\n the IFIP World Compu ting Congress, is the meeting place of the\n TC1 community where new results of computation the ory are\n presented and more broadly experts in theoretical computer\n science meet to sha re insights and ask questions about the\n fut ure directions of the field.\n

\nScope and Topics: Algorithms, Complexity and Mode ls of Computation, Logic, Semantics,\n Spe cification and Verification.\n

\n \n \nFor more information, see\n http://tcs.project.cwi.nl/\n

\n\n

URL:/NewsandEvents/Archives/2012/newsitem/4315/26-
28-September-2012-7th-IFIP-Conference-on-Theoretic
al-Computer-Science-2012-TCS-2012-Amsterdam-The-Ne
therlands
END:VEVENT
END:VCALENDAR
\n The Programme Com mittee cordially invites all researchers\n to submit their\n papers for presentation.\ n Paper submission deadline (extended): May 11.\n

\n