Technical Committee 1

Home

Aims and Scope of TC1

TC1 membership

Contact TC1

TC1 Working Groups


WG 1.02: Descriptional Complexity


WG 1.03: Foundations of System Specification


WG 1.05: Cellular Automata and Discrete Complex Systems


WG 1.06: Term Rewriting


WG 1.07: Theoretical Foundations of Security Analysis and Design


WG 1.08: Concurrency Theory


WG 1.09/2.15: Verified Software


WG 1.10: String Algorithmics & Applications

TC1 Reports

Activity reports

TCS Conferences

TCS 2014, Rome

Past TCS Conferences

IFIP

IFIP main site

Technical Committee 1: Foundations of Computer Science

TCS 2014

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

Call for papers : Download pdf txt

Home page : http://www.cyprusconferences.org/tcs2014/

Last modification: 18 July 2017