The papers in this volume accepted for the conference on foundations of software technology and t...