SLTC

Tópicos de Interés

Los temas sugeridos aunque no excluyentes son los siguientes:

• 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

Antes de enviar su trabajo consulte la llamada CLEI 2018 en: /es/clei-2018/cfp.html

La entrega de los artículos deberá realizarse a través del sistema JEMS: https://submissoes.sbc.org.br/home.cgi?c=3035

Manual de publicación en el 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 Vinícius Midena Ramos (Universidade Federal do Vale do São Francisco, Brazil)
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)