Technical Committee 1: Foundations of Computer Science
Home
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.
TC1 NEWS
- January 2022: Established a new Working Group (WG 1.11), shared by TC1 and TC2, on Foundations of Quantum Computation.