Latin American Symposium of Theory of Computation

Nazareno Aguire
naguirre@dc.exa.unrc.edu.ar
Argentina

Juan Francisco Diaz
juanfco.diaz@gmail.com
Colombia

 
Topics of the Symposium

• Algorithms
• Computational Complexity
• Automata and Formal Languages
• Principles and Semantics of Programming Languages
• Theory and Models of Concurrency, Security and Mobility
• Logic and its Application in Computation
• Requirements, Components and Software Architectures Formal Models
• Formal Techniques and Fundaments for Software Analysis
• Theory of Types and Theory of Categories in Computation

 
Members of the Program Committee

• Aranda Jesus (UV, Colombia)
• Bergero Federico (UNR, Argentina)
• Bonelli Eduardo (UNQ, Argentina)
• Castro Pablo (UNRC, Argentina)
• Figueira Santiago (UBA, Argentina)
• Frias Marcelo (ITBA, Argentina)
• Gutierrez Julian (UO, Reino Unido)
• Jaskelioff Mauro (UNR, Argentina)
• Mocskos Esteban (UBA, Argentina)
• Pérez Jorge A. (UNL, Portugal)
• Pinzon Yoan (U. Nal., Colombia)
• Rodríguez Ricardo Oscar (UBA, Argentina)
• Rueda Camilo (PUJC, Colombia)
• Scalise Eugenio (UCV, Venezuela)
• Tasistro Alvaro, UORT (Uruguay)
• Toro-Bermudez Mauricio (UB I, Francia)