Chairs:
- Rodrigo Paredes (U.Talca, Chile) ✉ raparede@utalca.cl
- Cristian López (ULaSalle, Perú) ✉ clopez@ulasalle.edu.pe
Formatos:
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: