TC 1 - Foundations of Computer Science - Aims and Scopes

est. 1989 as SG14 / approved in 9/96 as TC 1

AIMS

SCOPE

To encourage, organise, support, and unify the development of the following areas:


WG1.1 - Continous Algorithms and Complexity
est. 1992

AIMS

To provide a forum for international collaboration and for the dissemination of research and applications of continuous algorithms and complexity. 

SCOPE

Many problems in natural science, engineering, social science and business have continuous models. Hence the scope of WG 1.1 is algorithms and especially computational complexity of algorithms for solving continuous models. By computational complexity is meant the intrinsic difficulty of solving such problems. Examples of the problems that are being studied include: ordinary and partial differential equations, continuous optimization, multivariate integration and approximation, matrix multiplication, and systems of polynomial equations.

Of special interest is the solution of continuous problems on parallel and distributed computer systems. 


WG1.2 - Descriptional Complexity
est. 1992

AIMS

SCOPE

All aspects of descriptional complexity, both theory and application. These aspects include:


WG1.3 - Foundations of Systems Specifications
est. 1992

AIMS

SCOPE

The theoretical aspects of the specification and development of computing systems that are based on algebraic and logic concepts and can be studied systematically within a theory of systems specifications. 


WG 1.4 - Computational Learning Theory
est.1995

AIMS

To promote the field of computational learning theory and to establish close cooperation between existing groups working in geographically separated areas. To support steps helping to bridge theory and applications. 

SCOPE


WG 1.5 - Cellular Automata and Machines
est. 1994

AIMS

To support the development of cellular automata theory and their applications (especially in parallel computing, in the study of complex systems, in physics, biology, artificial life, ...). To pursue the design and utilization of cellular automata machines.

SCOPE

Cellular automata as models of parallelism, complex systems, dynamic systems, interactive behavior, physical systems and models of biological systems. Cellular automata machines.


WG 1.6 - Term Rewriting
est. 1998, revised 1999

AIMS

SCOPE


WG 1.7 - Theoretical Foundations of Security Analysis and Design
est. 1999

AIMS

SCOPE

The main research topics relevant for the Working Group include:

WG 1.8 - Concurrency Theory
est. 2005

AIMS

SCOPE

The activities of this WG will encompass all aspects of concurrency theory and its applications. The themes of the WG include: