Technical Committee 1


Aims and Scope of TC1

TC1 membership

Contact TC1

TC1 Working Groups

WG 1.1: Continuous Algorithms and Complexity

WG 1.2: Descriptional Complexity

WG 1.3: Foundations of System Specification

WG 1.5: Cellular Automata and Discrete Complex Systems

WG 1.6: Term Rewriting

WG 1.7: Theoretical Foundations of Security Analysis and Design

WG 1.8: Concurrency Theory

WG 1.9/2.15: Verified Software

WG 1.10: String Algorithmics & Applications

TC1 Reports

Activity reports

TCS Conferences

TCS 2014, Rome

Past TCS Conferences


Main IFIP site

Technical Committee 1: Foundations of Computer Science


This is a new homepage of TC1.

Last modification: 16 February 2016