Title: LATIN 2020 : Theoretical Informatics