Special issue della 12th Italian Conference on Theoretical Computer Science, RAIRO Theoretical Informatics and Applications – Informatique Théoretique et Applications