Chairs

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

Temas del Simposio

• Algorítmica
• Computabilidad y Complejidad
• Teoría de Autómatas y Lenguajes Formales
• Principios y Semántica de los Lenguajes de Programación
• Teoría y Modelos de Concurrencia, Seguridad y Movilidad
• Lógicas y su Aplicación a la Computación
• Modelos Formales de Requisitos, Componentes y Arquitecturas de Software
• Fundamentos y Técnicas Formales de Análisis de Software
• Teoría de Tipos y Teoría de Categorías en Computación

Miembros del Comité de Programa

• 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)