Technical Committee 1


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 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 :

Last modification: 18 July 2017