Technical Committee 1

Home

Aims and Scope of TC1

TC1 membership

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

Past TCS Conferences

• TCS 2012 held in Amsterdam (The Netherlands)
  
  
• TCS 2010 held in Brisbane (Australia)
  
  
• TCS 2008 held in Milano (Italy)
  
  
• TCS 2006 held in Santiago (Chile)
  
  
• TCS 2004 held in Toulouse (France)
  
  
• TCS 2002 held in Montreal (Canada)
  
  
• TCS 2000 held in Sendai (Japan)

Last modification: February 2022