Selected papers of ICTCS 2016 (The Italian Conference on Theoretical Computer Science (ICTCS)