SLTC - Simpósio Latino-Americano em Teoria Computacional

Chairs: Ricardo L. A. Rocha (USP), Brasil rlarocha@usp.br, Marcelo Frias (ITBA), Argentina mfrias@itba.edu.ar



O SLTC é um evento que reúne a comunidade latino-americana. O evento faz parte da XLIV CLEI. Este simpósio concentra-se nos avanços nas disciplinas teóricas voltadas para Algoritmos, Computabilidade e Complexidade, Autômatos e Línguas Formais, Princípios e Semântica de Linguagens de Programação, 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, Fundamentos e Técnicas Formais de Análise de Software, Teoria de Tipos e Teoria de Categorias em Computação.



Tópicos de Interesse

Os tópicos sugeridos, mas não excluídos, são os seguintes: