Technical Committee 1: Foundations of Computer Science

Welcome to IFIP Technical Committee 1

Established as Special Group (SG14) in 1989 and approved as a Technical Committee in 1996, to

- support the development of theoretical computer science as a fundamental science that has similar scientific goals in understanding the information processing world as physics has in understanding the energy processing world and similar goals in developing methodology for science and technology as mathematics does;

- support the development and exploration of fundamental concepts, models, theories, systems, and other basic tools and the understanding of laws, limits, and possibilities of information processing as well as to de-velop bridges with other sciences and their applications.

Our Next Events

favorite_border

26th International Conference on Descriptional Complexity of Formal Systems

22/07-24/07 2025 Loughborough, GB

Tue, 22 Jul - 24 Jul

View Details

favorite_border

International School on Rewriting

ISR 2026 — 15th International School on Rewriting 12 July – 16 July 2026; Nijmegen, Netherlands Term rewriting is a powerful model of computation that underlies much of declarative programming and which is heavily used…

Sun, 12 Jul

View Details