Title: LATIN 2000 : Theoretical Informatics