Latin American Symposium on Theoretical Informatics (4th 2000 Punta del Este, Uruguay)