Chairs

• Dr. Alberto Pardo, UdelaR, Uruguay
• Dr. Nazareno Aguirre, UNRC, Argentina

Topics

• Algorithms
• Computability and Complexity
• Automata Theory and Formal Languages
• Principles and Semantics of Programming Languages
• Theory and Models of Concurrency, Security and Mobility
• Logic and its Application in Computation
• Formal Models on Requirements, Components and Software Architectures
• Formal Techniques and Foundations for Software Analysis
• Type Theory and Category Theory in Computation

Program Committee

• Betarte Gustavo (UdelaR, Uruguay)
• Bonelli Eduardo (UNQ, Argentina)
• Brandán-Briones Laura (UNC, Argentina)
• Castro Pablo (UNRC, Argentina)
• de Melo Ana (USP, Brasil)
• Dufrechou Ernesto (UdelaR, Uruguay)
• Fervari Raúl (UNC, Argentina)
• Figueira Santiago (UBA, Argentina)
• Frías Marcelo (ITBA, Argentina)
• Gutierrez Julian (OX, UK)
• Iyoda Juliano (UFPE, Brasil)
• Jaskelioff Mauro (UNR, Argentina)
• López Pombo Carlos (UBA, Argentina)
• Martins Moreira Anamaria (UFRN, Brasil)
• Moreira Alvaro (UFRGS, Brasil)
• Moura Arnaldo (UNICAMP, Brasil)
• Pérez Jorge (RUG, The Netherlands)
• Pinzón Yoan (UNAL, Colombia)
• Romero Daniel (UNA, Paraguay)
• Russo Alejandro (CHALMERS, Suecia)
• Scalise Eugenio (UCV, Venezuela)
• Schaerer Christian (UNA, Paraguay)
• Silva Leila (UFS, Brasil)
• Tasistro Alvaro (ORT, Uruguay)
• Viera Marcos (UdelaR, Uruguay)
• Wolovick Nicolás (UNC, Argentina)
• Zanella-Béguelin Santiago (Microsoft RC, UK)