26-28 Sep 2012
Amsterdam, The Netherlands
Due to a number of requests the deadline for paper submission to TCS 2012 has been extended to this Friday, 12:00 UTC. This is the final deadline. Best regards, -- Michiel Helvensteijn Local Organization of TCS 2012 ==================== Call for Papers: 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 (http://www.mathcomp.leeds.ac.uk/turing2012). 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. ===== Invited Speakers ===== Rajeev Alur Yuri Gurevich Jiri Wiedermann ===== Submissions ===== The scope of this conference includes but is not limited to: Algorithms Complexity Models of Computation Logic Semantics Specification Verification All submissions will be peer-reviewed and judged on the basis of originality, contribution to the field, technical and presentation quality, and relevance to the conference. All papers must be written in English. Papers must not exceed 15 pages in the LNCS format. See http://www.springer.de/comp/lncs/authors.html for details. Submission will be handled through EasyChair. You may use the following link to reach the submission page for TCS '12: https://www.easychair.org/conferences/?conf=tcs2012 ===== Proceedings ===== Accepted papers will be published in the Lecture Notes of Computer Science series. ===== Important Dates ===== Paper submission: May 4, 12:00 UTC (extended deadline) Notification: June 25 Camera ready version: July 16 TCS Conference: September 26-28 ===== Organisation ===== General chair: Jos Baeten (http://www.cwi.nl/people/630) PC co-chairs: Tom Ball (http://research.microsoft.com/en-us/people/tball/) and Frank de Boer (http://homepages.cwi.nl/~frb/) PC committee: Ahmed Bouajjani Ana Cavalcanti Peter Grnwald Joseph Kiniry Peter Mueller David Naumann Susanne Graf Juraj Hromkovic Martin Kutrib Aart Middeldorp Jan Juerjens Ugo Montanari Catuscia Palamidessi Jeff Shallit Jan Rutten Davide Sangiorgi Igor Walukiewicz Jim Woodcock Leen Torenvliet Local Organization: Susanne van Dam Michiel Helvensteijn Hans Hidskes Joost Winter