Title: LATIN 2014 : Theoretical Informatics