Simposio Latinoamericano de Teoría Computacional

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)