Chairs
Dr. Cristian López Del Alamo,
clopez@ulasalle.edu.pe,
Universidad de La Salle, Perú
Dr. David Fernandez-Baca, fernande@cs.iastate.edu, Iowa State University.
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
Alvaro Moreira Universidad Federal de Río Grande del Sur
Anamaria Martins Moreira Universidade Federal do Rio de Janeiro
Camilo Rocha Escuela Colombiana de Ingeniería
Carlos Lopez Pombo Universid de Buenos Aires
Carlos Luna Universidad de la Republica
Christian Schaerer Universidad Nacional de Asunción Paraguay
Daniel Romero Universidad Nacional de Asunción
Gustavo Betarte Facultad de Ingeniería, Universidad de la República
Hector Beck Universidad de Tarapacá
Julian Gutierrez University of Oxford
Leila Silva Universidade Federal de Sergipe
Marcelo Frias Buenos Aires Institute of Technology
Marcos Viera Universidad de La Republica
Mauro Jaskelioff Universidad Nacional de Rosario
Nazareno Aguirre Universidad Nacional de Rio Cuarto
Yoan Pinzon National University of Colombia
