This book constitutes the refereed proceedings of the Second IFIP
WG 1.8 International Conference on Topics in Theoretical Computer
Science, TTCS 2017, held in Tehran, Iran, in September
The 8 papers presented in this volume were carefully reviewed and
selected from 20 submissions. They were organized in topical
sections named: algorithms and complexity; and logic, semantics,
and programming theory.