Title: LATIN 2004 : Theoretical Informatics