Der Band fasst die Beiträge der siebten FOSSACS-Konferenz zusammen und beleuchtet die Schnittstellen zwischen Softwaretheorie und Berechnungsstrukturen; er bietet tiefe Einblicke in Programmiersprachen, Algorithmen sowie formale Verifikationsmethoden.