LATIN '95: Theoretical Informatics