Welcome


Co-located to Concur 2014


The conference Theoretical Computer Science, which is held every two years, either in conjunction with or in the framework of the IFIP World Computing Congress, is the meeting place of the TC1 (IFIP Technical Committee on Foundations of Computer Science) 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.