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-UAI, 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"