LASCT 2013 - Latin American Symposium of Computational Theory

Latin American Symposium of Computational Theory
Nazareno Aguire
naguirre-AT-dc.exa.unrc.edu.ar
Argentina
Juan Francisco Diaz
juanfco.diaz-AT-gmail.com
Colombia
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