SLTC
SLTC es un evento que tiene como foco los avances en las disciplinas de la teoría Algorítmica, Computabilidad y Complejidad, Autómatas y Lenguajes Formales, Principios y Semántica de los Lenguajes de Programación, 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.
Tópicos de Interés
- 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
- Modelos formales de técnicas adaptativas
- Fundamentos y técnicas formales de análisis de software
- Teoría de tipos y teoría de categorías en computación
Envío de trabajos
Las sumisiones deben realizarse a través de EasyChair
Chairs
- Janeth Chicaiza (UTPL), Ecuador
jachicaiza@utpl.edu.ec - Marcelo Frias (ITBA), Argentina mfrias@itba.edu.ar
Comité de Programa
#Son propuestos por los Chairs
Nombre y Apellido (Nombre Universidad)