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.