SLTC - Simposio Latinoamericano de Teoría Computacional

Preliminary Call for Papers
XLIII CLEI/46 JAIIO

Organiza: UTN-FRC, SADIO, CLEI
4-8 de Septiembre
Córdoba, Argentina

 

SLTC - Simposio Latinoamericano de Teoría Computacional


CLEI y SADIO co-organizan este evento que reúne a la comunidad latinoamericana. El Simposio Latinoamericano de Teoría de Computación se llevará a cabo en el marco de la XLIII CLEI y la 46 JAIIO del 4 al 8 de septiembre de 2017 en la Facultad Regional Córdoba de la Universidad Tecnológica Nacional.

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
  • Fundamentos y Técnicas Formales de Análisis de Software
  • Teoría de Tipos y Teoría de Categorías en Computación

Fechas importantes:

Fecha límite para la recepción de trabajos: 14 de abril de 2017 Prorrogado al 30/04/2017
Notificación aceptación: 20/06/2017
Fecha límite para la inscripcion de al menos un autor por trabajo: 25 de julio de 2017
Fecha límite para la presentación definitiva de trabajos (camera ready): 01 de agosto de 2017
Realización de la conferencia: 4 al 8 de septiembre de 2017

 

Envio de trabajos:

Los trabajos serán evaluados de acuerdo al estándar de anteriores SLTC. Los trabajos aceptados y presentados se publicarán en las actas IEEExplore.

Los trabajos deben ser escritos en castellano, portugués o inglés. Serán revisados por un Comité de Programa internacional compuesto por miembros de la academia. Los mejores artículos con serán invitados a publicarse en un número de Electronic Notes in Theoretical Computer Science (Scopus), o en un número especial de CLEI Electronic Journal (Latindex, Scielo, DBLP, DOAJ).

Los trabajos deberán tener una longitud máxima de 10 páginas en formato IEEE a dos columnas.

Formatos para el envío de trabajos

Por favor referirse a la siguiente página para mayores detalles y ejemplos de formato para el envío de trabajos: http://www.clei2017-46jaiio.sadio.org.ar/formatoc

 

Chairs:

Claudia Pons (UNLP, Argentina)
Gabriel Baum (UNLP, Argentina)

Comité de programa

  • Carlos Lopez Pombo (Universidad de Buenos Aires, Argentina)
  • Francisco Soulignac (Universidad Nacional de Quilmes/Universidad de Buenos Aires, Argentina)
  • Marcelo Frías (Buenos Aires Institute of Technology, Argentina)
  • Mauro Jaskelioff (Universidad Nacional de Rosario, Argentina)
  • Nazareno Aguirre (Universidad Nacional de Rio Cuarto, Argentina)
  • Ricardo Rosenfeld (Pragma Consultores, Argentina)
  • Anamaria Martins Moreira (Universidade Federal do Rio de Janeiro, Brazil)
  • Breno Piva (Universidade Federal de Sergipe Brazil, Brazil)
  • Cláudia Linhares Sales (Universidade Federal do Ceará, Brazil)
  • Andrés Moreira (Universidad Técnica Federico Santa María, Chile)
  • Hector Beck (Universidad de Tarapacá, Chile)
  • Rodrigo Paredes (U.Talca, Chile)
  • Camilo Rocha ( Pontificia Universidad Javeriana, Colombia)
  • Yoan José Pinzón Ardila (Universidad Nacional de Colombia, Colombia)
  • Marciso Marti (Universidad Cumplutense, España)
  • Christian Schaerer (Universidad Nacional de Asunción, Paraguay)
  • Daniel Romero (Universidad Nacional de Asunción Paraguay, Paraguay)
  • Cristian López Del Alamo (Universidad de La Salle, Perú)
  • Alejandro Russo (ChalmersUniversity of Technology, Suecia)
  • Santiago Zanella-Béguelin ( Microsoft Research, Redmond, UnitedStates)
  • Carlos Luna (Universidad de la Republica, Uruguay)
  • Marcos Viera (Universidad de La Republica, Uruguay)
  • Nora Szasz (ORT, Uruguay)
  • Eugenio Scalise (Universidad Central de Venezuela, Venezuela)
  • Victor Simon Theoktisto (Universidad Simón Bolívar, Venezuela)

 

Para información y contactos:

Correo electrónico: sltc2017@sadio.org.ar. Sitio web: www.clei2017-46jaiio.sadio.org.ar

Sistema de gestión de conferencias de SADIO

Los envíos se recibirán mediante el sistema de gestión de conferencias de SADIO. Para enviar su contribución puede utilizar el siguiente enlace directo:

SLTC - Simposio Latinoamericano de Teoría Computacional: http://sgc.sadio.org.ar/sgc/index.php/46JAIIO/SLTC2017/index

Puede encontrar una guía e instrucciones adicionales en el menú "Envío de trabajos"