LATIN 2008: Theoretical Informatics