SLTC
O SLTC é um evento que se concentra nos avanços nas disciplinas da teoria Algorítmica, Computabilidade e Complexidade, Autômatos e Linguagens Formais, Princípios e Semânticas das Linguagens de Programação, Modelos de Concorrência, Segurança e Mobilidade, Lógica e sua Aplicação ao Computação, Modelos de Requisitos Formais, Componentes e Arquiteturas de Software, Fundamentos e Técnicas Formais de Análise de Software, Teoria dos Tipos e Teoria das Categorias em Computação.
Tópicos de Interesse
- Algorítmico
- Computabilidade e complexidade
- Teoria de 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 e sua aplicação à computação
- Modelos formais de requisitos, componentes e arquiteturas de software
- Modelos formais de técnicas adaptativas
- Fundamentos e técnicas formais de análise de software
- Teoria dos tipos e teoria das categorias em computação
Submissão de trabalhos
As submissões devem ser feitas através do 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)