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 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;
- to 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.
SCOPETo encourage, organise, support, and unify the development of the following areas:
- frontiers, laws, and limits of information processing;
- fundamental formal systems;
- efficiency and complexity of information processing;
- formal systems to specify, design, verify, analyse, and manipulate complex information processing systems;
- theoretical foundations of various other parts of computer science and its main application areas;
- scientific paradigms of informatics and their relations to other disciplines;
- information processing fundamental concepts, models and theories to support the development of other sciences. With the goal to develop foundations and to make use of them.