Der Band sammelt die ausgewählten Beiträge der ersten IFIP WG 1.8-Konferenz TTCS 2015 in Teheran, präsentiert neue theoretische Erkenntnisse zu Algorithmen, formalen Modellen und Komplexitätstheorie und bietet damit einen tiefen Einblick in aktuelle Forschungstrends.