12. IFIP Congress 1992: Madrid, Spain

Software Development and Maintenance

Design and Analysis

Language Design

Technology Transfer and Education

Software Development

Formal Methods

Implementation of Languages and Systems

Tools and Automation

Configuration Management and System Generation

Algorithms and Efficient Computation

Number-theoretic and Algebraic Computation

Parallel Algorithms

Complexity Theory

Neural Networks

Distrubuted Computing

Concurrency and Simulation

Computational Geometry and Robotics

Graph and Network Algorithms

Algorithm Design and Network Algorithm

Fundamental Algorithms

Algorithm for Text Retrieval

Data Structures and Efficiency

From Architectures to Chips

Parallel and Distributed Computing

Interconnection

Dependability

Dependability and Performance

Architectures and Chips

VLSI Technology and Concurrent Engineering

Hardware Design