posted by user: grupocole || 4552 views || tracked by 8 users: [display]

PROLE 2011 : XI Jornadas sobre Programación y Lenguajes

FacebookTwitterLinkedInGoogle

Link: http://www.sistedes.es/jornadas2011/prole.htm
 
When Sep 6, 2011 - Sep 8, 2011
Where A Coruña, Spain
Abstract Registration Due Apr 15, 2011
Submission Deadline Apr 27, 2011
Notification Due May 30, 2011
Final Version Due Jun 16, 2011
Categories    programming languages   compilers   software engineering
 

Call For Papers

PROLE'11 -- Call for Papers
XI Jornadas sobre Programación y Lenguajes
(A Coruña, 6--8 de septiembre de 2011)

Las Jornadas de PROgramación y LEnguajes (PROLE) constituyen un marco propicio de reunión, debate y divulgación para los grupos españoles que investigan en temas relacionados con la programación y los lenguajes de programación. Con la organización de este evento nacido en 2001, de carácter anual, se pretende fomentar el intercambio de experiencias y resultados, así como la comunicación y cooperación entre dichos grupos. La XI edición de estas Jornadas (PROLE'11) tendrá lugar en A Coruña del 6 al 8 de septiembre de 2011, precedida el día 5 de septiembre por el Taller sobre Programación Funcional (TPF'11), junto a las XVI Jornadas de Ingeniería del Software y Bases de Datos (JISBD'11), auspiciadas por la Sociedad de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES).

En el ámbito de PROLE son bienvenidos tanto los trabajos teóricos, como los que desarrollan aspectos prácticos relativos a la especificación, diseño, implementación, análisis y verificación de programas y lenguajes de programación, incluyendo el uso de métodos formales en los procesos de desarrollo del software. En este ámbito, son especialmente relevantes aquellos trabajos relativos a desarrollo de aplicaciones con herramientas y sistemas software existentes, así como demostraciones de herramientas y sistemas en este contexto. Una lista no exhaustiva de los temas abordados en PROLE incluiría:

• Paradigmas de programación. Integración de paradigmas de programación.
• Especificación y lenguajes de especificación. Sistemas de tipos.
• Lenguajes y técnicas para nuevos modelos de programación.
• Arquitecturas e interconexión de programas.
• Técnicas y herramientas de implementación de lenguajes de programación. Semántica de lenguajes de programación.
• Desarrollo de aplicaciones con lenguajes y herramientas existentes. Demostraciones de herramientas y sistemas software.
• Análisis de programas. Verificación y certificación de programas. Transformación y optimización de programas. Depuración y prueba de programas. Terminación de programas.
• Lógicas para el desarrollo de software.
• Métodos formales en los procesos de desarrollo de software.


Fechas Importantes

Recepción de resúmenes: 15 de abril de 2011
Recepción de trabajos: 27 de abril de 2011
Notificación de aceptación: 30 de mayo de 2011
Versión definitiva: 16 de junio de 2011


Comité de Programa

Jesús Almendros, U. de Almería
María Alpuente, U. Politécnica de Valencia
Puri Arenas, U. Complutense de Madrid (Presidenta CP)
Rafa Caballero, U. Complutense de Madrid
Manuel Carro, U. Politécnica de Madrid
Fernando Cuartero, U. de Castilla la Mancha
Francisco Durán, U. de Málaga
María del Mar Gallardo, U. de Málaga
Víctor Gulías, U. de A Coruña
Montserrat Hermo, U. del País Vasco
Paqui Lucio, U. del País Vasco
Ginés Moreno, U. de Castilla la Mancha
Albert Oliveras, U. Politécnica de Cataluña
Fernando Orejas, U. Politécnica de Cataluña
Miguel Palomino, U. Complutense de Madrid
Ricardo Peña, U. Complutense de Madrid
César Sánchez, IMDEA Software
Josep Silva, U. Politécnica de Valencia
Alicia Villanueva, U. Politécnica de Valencia
Damiano Zanardini, U. Politécnica de Madrid

Contribuciones

Se solicitan contribuciones (tanto en castellano como en inglés) en alguna de las siguientes categorías:

• Trabajos originales. No publicados ni en proceso de revisión en revistas, conferencias con actas formales, etc. (máximo 15 páginas).
• Tutoriales (máximo 18 páginas).
• Demostraciones de herramientas y sistemas software (máximo 10 páginas).
• Trabajos de alto nivel (revistas, congresos internacionales de prestigio, etc.) ya publicados en 2011 o pendientes de publicación (en el formato y longitud de la publicación). En este caso en las actas aparecerá el abstract del trabajo.
• Trabajos en progreso (máximo 15 páginas).

Los trabajos deberán presentarse según las instrucciones y formatos de ENTCS y el envío se realizará a través de: https://www.easychair.org/conferences/?conf=prole2011
Todos los trabajos serán revisados por al menos dos revisores (siendo la norma general de tres revisores) y aquellos que resulten finalmente aceptados, aparecerán publicados en las actas de las jornadas.

Siguiendo la tradición de ediciones previas, después de las jornadas se realizará una selección de los mejores trabajos escritos en inglés de las categorías 1, 2 y 3 para su publicación posterior.

De forma excepcional, el comité de programa considerará la posibilidad de cambiar la categoría de los trabajos sometidos a las categorías 1 y 5, según el proceso de revisión previo y/o las presentaciones durante las jornadas, aspecto que será comunicado a los autores con la suficiente antelación para su conocimiento y posible reconsideración de su propuesta.

Related Resources

JISIC 2017   VIII Jornadas de Ingeniería de Sistemas Informáticos y de Computación -JISIC 2017
ACM - ICMLSC - Ei 2018   ACM--2018 the 2nd International Conference on Machine Learning and Soft Computing (ICMLSC 2018)--Ei Compendex & Scopus
JIISIC-CEIS 2017   XII Jornadas Iberoamericanas de Ingeniería de Software e Ingeniería del Conocimiento y Congreso Ecuatoriano en Ingeniería de Software
DRIJ 2017   Dental Research: An International Journal
CcITA 2017   IX CONFERENCIA CONJUNTA INTERNACIONAL SOBRE TECNOLOGÍAS Y APRENDIZAJE
ICAISE--IEEE, EI and Scopus 2018   2018 International Conference on Artificial Intelligence and Software Engineering (ICAISE 2018)--IEEE, EI Compendex and Scopus
SIIPRIN 2017   Simposio Iberoamericano en Programación Informática
IJITMC 2017   International Journal of Information Technology, Modeling and Computing
Narrativa y cine Latinoamericano 2018   The Louisville Conference on Literature and Culture since 1900: Nuevos derroteros de la narrativa y del cine Latinoamericano actual
JIISIC 2018   Jornadas Iberoamericanas de Ingeniería de Software e Ingeniería del Conocimiento