PROLE'14 -- Call for Papers
XIV Jornadas sobre Programación y Lenguajes
Cádiz, del 16 al 19 de septiembre de 2014
http://sistedes2014.uca.es/prole.html

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 XIV edición de estas Jornadas (PROLE'14) tendrá
lugar en Cádiz del 16 al 19 de septiembre de 2014.

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. 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.

* 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.

* Aplicación de métodos formales en la industria. Casos de estudio.

* Desarrollo de aplicaciones con lenguajes y herramientas
existentes. Demostraciones de herramientas y sistemas software.

Fechas Importantes PROLE 2014
-----------------------------

Recepción de trabajos: 1 de junio de 2013 (extendida 20 de junio)
Notificación de aceptación: 6 de julio de 2013 (extendida 15 de julio)
Versión definitiva: 20 de julio de 2013 (extendida 22 de julio)


Contribuciones
--------------

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

1. Trabajos originales. No publicados ni en proceso de revisión en
revistas, conferencias con actas formales, etc. (máximo 15
páginas).

2. Tutoriales (máximo 18 páginas).

3. Demostraciones de herramientas y sistemas software (máximo 10
páginas).

4. Trabajos de alto nivel (revistas, congresos internacionales de
prestigio, etc.) ya publicados en 2014 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.

5. Trabajos en progreso (máximo 15 páginas).

6. Trabajos asociados al Taller de Programación Funcional (desde
resúmenes de una página hasta trabajos con un máximo de 8
páginas). Los trabajos de esta categoría serán sometidos a una
revisión más informal.

Los trabajos deberán presentarse según las instrucciones y formatos de
EPTCS ( http://style.eptcs.org) y el envío se realizará a través de EasyChair

https://www.easychair.org/conferences/?conf=prole14

Todos los trabajos serán revisados por al menos 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 en la revista
"Electronic Proceedings in Theoretical Computer Science” (http:/www.eptcs.org).

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.

Para cualquier información adicional sobre las contribuciones, se
ruega contactar con Santiago Escobar -- sescobar@dsic.upv.es.