São Paulo, BR
01 a 05 de outubro de 2018
Mackenzie - Campus Higienópolis
SLTC
Simpósio Latino-Americano em Teoria Computacional
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:
- Algoritmos
- Computabilidade e Complexidade
- Teoria de Autômatos e Línguagens Formais
- Princípios e Semântica de 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 na Computação
Envio de Trabalhos
Antes de enviar seu trabalho consulte a chamada CLEI 2018 em: /pt/clei-2018/cfp.html
A submissão dos artigos deverá ser feita por meio do sistema JEMS: https://submissoes.sbc.org.br/home.cgi?c=3035
Manual de publicação no JEMs: https://submissoes.sbc.org.br/manual/index.php?page=Authors_of_papers
Chairs
Marcelo Frias (ITBA, Argentina)
mfrias@itba.edu.ar
Ricardo L. A. Rocha (USP, Brasil)
rlarocha@usp.br
Comitê de programa
Alvaro Tasistro (Universidad ORT, Uruguay)
Andrés Moreira (Universidad Tecnica Federico Santa Maria, Chile)
Carlos López Pombo (Universidad de Buenos Aires, Argentina)
Christian Schaerer (Universidad Nacional de Asunción, Paraguay)
Claudia Pons (Universidad Nacional de La Plata y Universidad Abierta Interamericana, Argentina)
Cristian José López Del Alamo (Universidad La Salle, Perú)
Edward Hermann Haeusler (Pontificia Universidade Católica do Rio de Janeiro, Brazil)
Elisângela Rodrigues (Universidade Federal de Mato Grosso do Sul)
Fabrício Rodrigues (UFMS)
Flavia Bonomo (Universidad de Buenos Aires, Argentina)
João José Neto (Universidade de Sao Paulo, Brazil)
Marcus Midena Ramos (UNIVASF)
Mariano Moscato (National Institute of Aerospace, NASA, USA)
Mauricio Ayala-Rincon (Universidade de Brasilia, Brazil)
Reginaldo da SIlva Filho (UFMS)
Ítalo Santiago Vega (Pontificia Universidade Católica de Sao Paulo, Brazil)
