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
Recepción versiones finales e inscripción autores: 25/07/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)

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"