Chairs

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

Temas do Simpósio

• Algorítmica
• Computabilidade e Complexidade
• Teoria dos Autómatos e Linguagens Formais
• Princípios e Semântica das Linguagens de Programação
• Teoria e Modelos de Concorrência, Segurança e Mobilidade
• Lógica Computacional e sua Aplicação
• Modelos Formais de Requisitos, Componentes e Arquiteturas de Software
• Fundamentos e Técnicas Formais de Analise de Software
• Teoria Tipos e Teoria de Categorias em Computação

Membros do Comitê de Programa

• Aranda Jesus (UNIVALLE, Colombia)
• Betarte Gustavo (UdelaR, Uruguay)
• Bonelli Eduardo (UNQ, Argentina)
• Brandán-Briones Laura (UNC, Argentina)
• Castro Pablo (UNRC, Argentina)
• de Melo Ana (USP, Brasil)
• 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)
• Ribeiro Leila (UFRGS, Brasil)
• 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)
• Zanella-Béguelin Santiago (Microsoft Research Cambridge, UK)