This volume contains the proceedings of LATIN '92, atheoretical computer science symposium (Latin AmericanTheoretical Informatics) held in S o Paulo, Brazil in April1992. LATIN is intended to be a comprehensive symposium inthe theory of computing, but for this first meeting thefollowing areas were chosen for preferential coverage:algorithms and data structures, automata and formallanguages, computability and complexity theory,computational geometry, cryptography, parallel anddistributed computation, symbolic and algebraic computation,and combinatorial and algebraic aspects of computer science.The volume includesfull versions of the invited papers by11 distinguished guest lecturers as well as 32 contributedpapers selected from 66 submissions from authors withaffiliations in 26 countries.

This volume contains the proceedings of LATIN '92, atheoretical computer science symposium (Latin AmericanTheoretical Informatics) held in S o Paulo, Brazil in April1992. LATIN is intended to be a comprehensive symposium inthe theory of computing, but for this first meeting thefollowing areas were chosen for preferential coverage:algorithms and data structures, automata and formallanguages, computability and complexity theory,computational geometry, cryptography, parallel anddistributed computation, symbolic and algebraic computation,and combinatorial and algebraic aspects of computer science.The volume includesfull versions of the invited papers by11 distinguished guest lecturers as well as 32 contributedpapers selected from 66 submissions from authors withaffiliations in 26 countries.