Tuesday
Wednesday
Thursday
Friday
Latin American Theoretical Informatics (LATIN) was launched in 1992 to foster interaction between the Latin-American computer scientists and computer scientists around the world. This is the sixth in the series, after Sao Paulo, Brasil (1992), Valparaiso, Chile (1995), Campinas, Brasil (1998), Punta del Este, Uruguay (2000) and Cancun, Mexico (2002). The proceedings will be published by Springer-Verlag, in the Lecture Notes in Computer Science Series. We expect to publish a selection of the papers in a special issue of a prestigious journal.
--------------------------------------------
Papers presentation Papers presenting original research in all areas of theoretical computer science are sought. Topics of interest include (but are not limited to):
Algorithms and data structures,
Automata and formal languages,
Coding, combinatorics and graph theory,
Complexity theory,
Computability,
Computational biology,
Computational geometry,
Cryptography and security,
Databases and information retrieval,
The internet and the web,
Logic, rewriting, programming theory and semantics,
Machine learning,
Parallel and distributed computing,
Quantum computing,
Verification and theorem proving.