15. FSTTCS 1995: Bangalore, India

Invited Talk

Algorithms

Software Technology

Invited Talk

Functionl Programming Theory

Distributed Algrithms

Term Rewriting & CLP

Complexity Theory

Invited Talk

Process Algebras

Algorithms

Invited Talk

Computational Geometry

Temporal Logics and Verification Theory