LATIN 2000: Theoretical Informatics : 4th Latin American Symposium Punta del Esk Uruguay April 10 14 2000 Proceedings This book constitutes the refereed proceedings of the 4th International Conference Latin American Theoretical Informatics LATIN 2000 held in Punta del Est Uruguay in April 2000. The 42 revised papers presented were carefully reviewed and selected from a total of 87 submissions from 26 countries. Also included are abstracts or full papers of several invited talks. The papers are organized in topical sections on random structures and algorithms complexity computational number theory and cryptography algebraic algorithms computability automata and formal languages and logic and programming theory