LATIN 2016: Theoretical Informatics