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

Aims and scope

TC1 has been established as Special Group (SG14) in 1989 and approved as a Technical Committee in 1996.



To encourage, organise, support, and unify the development of the following areas:

Last modification: 18 July 2017