PROLE'08
VIII Jornadas sobre Programación y Lenguajes


Gijón, Asturias 7-10 de Octubre de 2008

http://www.ual.es/~jalmen/prole2008/


Las Jornadas sobre PROgramación y LEnguajes (PROLE) se vienen consolidando como 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. Esta área de investigación, continuamente en desarrollo, comprende todo el estudio de conceptos, métodos, técnicas, fundamentos y aplicaciones relativos a la tarea de programar y a los
lenguajes que se utilizan en ella. Con la organización de este evento, de carácter anual, se pretende fomentar tanto el intercambio de experiencias y resultados, como la comunicación y cooperación entre los grupos de investigadores españoles que trabajan en el área de programación y lenguajes. Con el ánimo de continuar enriqueciendo los logros de las ediciones previas: PROLE'01 (Almagro), PROLE'02 (El Escorial), PROLE'03 (Alicante), PROLE'04 (Málaga), PROLE'05 (Granada), PROLE'06 (Sitges) y PROLE'07(Zaragoza), la VIII edición de estas Jornadas (PROLE'08) tendrá lugar, del 7 al 10 de Octubre de 2008, en Gijón, junto a las XIII Jornadas de Ingeniería del Software y Bases de Datos (JISBD'08), auspiciadas por la Sociedad de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES): http://www.sistedes.es.

Temas de interés:

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 bienvenidos aquellos trabajos relativos a desarrollo de aplicaciones con herramientas y sistemas software existentes, así como demostraciones de herramientas y sistemas en este contexto.

Con más precisión, una lista no exhaustiva de los temas abordados en PROLE incluiría:

* Paradigmas de programación (concurrente, funcional, imperativo, lógico, visual, orientado a agentes, aspectos, objetos,..). 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 (computación ADN, cuántica, genética, molecular, ...).
* Arquitecturas e interconexión de programas (componentes, modularidad, genericidad, bases de datos, lenguajes de marcas, Web ...).
* 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.
* Lógicas para el desarrollo de software (dinámica, modal, lineal, temporal, multivalorada, BDI, ...).
* Métodos formales en los procesos de desarrollo de software.


Envío de trabajos:

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 5 páginas)
4. Trabajos de alto nivel (revistas, congresos internacionales de prestigio, etc.) ya publicados (en 2008) 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 10 páginas)


Los trabajos deberán presentarse según las instrucciones y formatos de ENTCS, véase:


http://www.entcs.org/prelim.html


El envío se realizará a través de sitio web:

http://www.easychair.org/conferences/?conf=prole2008


Todos los trabajos serán revisados por al menos dos revisores, siendo la norma general de tres revisores.

Publicación:

Todos los trabajos presentados aparecerán en las actas de PROLE'08 que estarán disponibles para la celebración de las Jornadas.

Se editará un número de ENTCS (Electronic Notes in Theoretical Computer Science), Elsevier Science, con los trabajos de las categorías 1, 2 y 3, que estén escritos en inglés. De forma excepcional, el Comité de Programa podrá
seleccionar algunos trabajos de la categoría 5 para ser incluidos en esta edición. Dicha selección se realizará con posterioridad a la celebración de las jornadas.

Además, se estudiará la posibilidad de someter una selección de estos trabajos a un nuevo proceso de revisión conducente a la edición de un número especial de alguna revista especializada.

Fechas importantes:

Recepción de resúmenes: 2 de Abril de 2008
Recepción de trabajos: 13 de Abril de 2008
Notificación de aceptación: 1 de Junio de 2008
Versión definitiva: 15 de Junio de 2008