Technical Committee 1: Foundations of Computer Science
8th IFIP International Conference on Theoretical Computer Science
September 1-3, 2014 Rome, Italy
Under the patronage of the International Federation of Information Processing (IFIP), since year 2000 the IFIP Technical Committee 1 (Foundations of Computer Science) has organized a series of biannual international conferences in Theoretical Computer Science. After Sendai (2000), Montreal (2002), Toulouse (2004), Santiago (2006), Milano (2008), Brisbane (2010), and Amsterdam (2012), the 8th edition will be held in Rome in September 2014, in cooperation with the IFIP Working Group 2.2 (Formal Description of Programming Concepts) and in conjunction with the 25th Conference on Concurrency Theory.
We call for papers in all areas of
Theoretical Computer Science: they will be evaluated by two committees:
Track A: Algorithms, Complexity and Models of Computation
Track B: Logic, Semantics, Specification and Verification.
Conference Chairs : Daniele Gorla & Rossella Petreschi
Track A Program Committee Chair : Josep Diaz
Track B Program Committee Chair : Davide Sangiorgi
Home page : http://www.cyprusconferences.org/tcs2014/