Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

26-28 September 2012, 7th IFIP Conference on Theoretical Computer Science 2012 (TCS 2012), Amsterdam, The Netherlands

Date: 26-28 September 2012
Location: Amsterdam, The Netherlands
Deadline: 11 May 2012

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.

Scope and Topics: Algorithms, Complexity and Models of Computation, Logic, Semantics, Specification and Verification.

For more information, see http://tcs.project.cwi.nl/

The Programme Committee cordially invites all researchers to submit their papers for presentation. Paper submission deadline (extended): May 11.

Please note that this newsitem has been archived, and may contain outdated information or links.