Editors, L. Editors’ Introduction. LiCS 2015, 3, VI-VII.