12. FSTTCS 1992: New Delhi, India

Invited Talk I

Logic and Semantics

Computational Geometry

Complexity

Logic Programming

Formal Sofware Specification

Algorithms I

Invited Talk II

Concurrency

Algorithms II

Invited Talk III